addition fn (AdditionFn)
If number1 and number2 are Numbers, then
(AdditionFn number1 number2) is the arithmetical sum of these
numbers.
Ontology
SUMO / NUMERIC-FUNCTIONSClass(es)
Coordinate term(s)
day fn
density fn
division fn
edition fn
exponentiation fn
graph path fn
hour fn
intersection fn
interval fn
kappa fn
list concatenate fn
list order fn
log fn
max fn
maximal weighted path fn
measure fn
mereological difference fn
mereological product fn
mereological sum fn
min fn
minimal weighted path fn
minute fn
month fn
multiplication fn
periodical issue fn
reciprocal fn
recurrent time interval fn
relative complement fn
relative time fn
remainder fn
round fn
second fn
series volume fn
speed fn
subtraction fn
temporal composition fn
time interval fn
union fn
where fn
equal
greater than
greater than or equal to
less than
less than or equal to
Type restrictions
parimaaNa AdditionFn(parimaaNa, parimaaNa)
Related WordNet synsets
- summation, addition, plus
- the arithmetic operation of summing; calculating the sum of two or more numbers; "the summation of four and three gives seven"; "four plus three equals seven"
See more related synsets on a separate page.
Axioms (12)
Agar number is an instance of sanyukta anka, to yah kuch vaastavika anka real1,vaastavika anka real2 nahin, ki number is equal to "(real1+"real2*"the square root of "")".
(=>
(instance ?NUMBER ComplexNumber)
(exists
(?REAL1 ?REAL2)
(and
(instance ?REAL1 RealNumber)
(instance ?REAL2 RealNumber)
(equal
?NUMBER
(AdditionFn
?REAL1
(MultiplicationFn
?REAL2
(SquareRootFn -1)))))))
list3 is equal to "the list composed of list1 and list2" agar hai sab-kuch number1,number2 ke lie hai, ki: agar number1 is less than or equal to "list1 kii lambaaaii" aur number2 is less than or equal to "list2 kii lambaaaii" aur number1 is an instance of dhanaatmaka pUrNaanka aur number2 is an instance of dhanaatmaka pUrNaanka, to "number1th element of list3" is equal to "number1th element of list1" aur ""("list1 kii lambaaaii"+number2)"th element of list3" is equal to "number2th element of list2".
(<=>
(equal
?LIST3
(ListConcatenateFn ?LIST1 ?LIST2))
(forall
(?NUMBER1 ?NUMBER2)
(=>
(and
(lessThanOrEqualTo
?NUMBER1
(ListLengthFn ?LIST1))
(lessThanOrEqualTo
?NUMBER2
(ListLengthFn ?LIST2))
(instance ?NUMBER1 PositiveInteger)
(instance ?NUMBER2 PositiveInteger))
(and
(equal
(ListOrderFn ?LIST3 ?NUMBER1)
(ListOrderFn ?LIST1 ?NUMBER1))
(equal
(ListOrderFn
?LIST3
(AdditionFn
(ListLengthFn ?LIST1)
?NUMBER2))
(ListOrderFn ?LIST2 ?NUMBER2))))))
- agar list1 is a sublist of list2,
- to yah kuch number3 nahin, ki sab-kuch item ke lie hai, ki: agar item is a member of list1, to yah kuch number1,number2 nahin, ki "number1th element of list1" is equal to item aur "number2th element of list2" is equal to item aur number2 is equal to "(number1+number3)"
.
(=>
(subList ?LIST1 ?LIST2)
(exists
(?NUMBER3)
(forall
(?ITEM)
(=>
(inList ?ITEM ?LIST1)
(exists
(?NUMBER1 ?NUMBER2)
(and
(equal
(ListOrderFn ?LIST1 ?NUMBER1)
?ITEM)
(equal
(ListOrderFn ?LIST2 ?NUMBER2)
?ITEM)
(equal
?NUMBER2
(AdditionFn ?NUMBER1 ?NUMBER3))))))))
"(number+1)" is equal to "(number+)".
(equal
(SuccessorFn ?NUMBER)
(AdditionFn ?NUMBER 1))
"number1 mod number2" is equal to number agar hai "(""the largest integer less than or equal to "number1/number2""*number2"+number)" is equal to number1.
(<=>
(equal
(RemainderFn ?NUMBER1 ?NUMBER2)
?NUMBER)
(equal
(AdditionFn
(MultiplicationFn
(FloorFn
(DivisionFn ?NUMBER1 ?NUMBER2))
?NUMBER2)
?NUMBER)
?NUMBER1))
is an identity element of addition fn.
(identityElement AdditionFn 0)
- agar
- "the value of path" is equal to sum
aur - subpath is a subgraph of path
aur - arc1 is a part of path
aur - the value of arc1 is number1
aur - sab-kuch arc2 ke lie hai, ki: agar arc2 is a part of path, to arc2 is a part of subpath yaa arc2 is equal to arc1
, - to sum is equal to "("the value of subpath"+number1)"
.
(=>
(and
(equal
(PathWeightFn ?PATH)
?SUM)
(subGraph ?SUBPATH ?PATH)
(graphPart ?ARC1 ?PATH)
(arcWeight ?ARC1 ?NUMBER1)
(forall
(?ARC2)
(=>
(graphPart ?ARC2 ?PATH)
(or
(graphPart ?ARC2 ?SUBPATH)
(equal ?ARC2 ?ARC1)))))
(equal
?SUM
(AdditionFn
(PathWeightFn ?SUBPATH)
?NUMBER1)))
- agar
- "the value of path" is equal to sum
aur - arc1 is a part of path
aur - arc2 is a part of path
aur - the value of arc1 is number1
aur - the value of arc2 is number2
aur - sab-kuch arc3 ke lie hai, ki: agar arc3 is a part of path, to arc3 is equal to arc1 yaa arc3 is equal to arc2
, - to "the value of path" is equal to "(number1+number2)"
.
(=>
(and
(equal
(PathWeightFn ?PATH)
?SUM)
(graphPart ?ARC1 ?PATH)
(graphPart ?ARC2 ?PATH)
(arcWeight ?ARC1 ?NUMBER1)
(arcWeight ?ARC2 ?NUMBER2)
(forall
(?ARC3)
(=>
(graphPart ?ARC3 ?PATH)
(or
(equal ?ARC3 ?ARC1)
(equal ?ARC3 ?ARC2)))))
(equal
(PathWeightFn ?PATH)
(AdditionFn ?NUMBER1 ?NUMBER2)))
Agar "relative time fn(time1,pacific time zone)" is equal to time2, to time2 is equal to "(time1+)".
(=>
(equal
(RelativeTimeFn ?TIME1 PacificTimeZone)
?TIME2)
(equal
?TIME2
(AdditionFn ?TIME1 8)))
Agar "relative time fn(time1,mountain time zone)" is equal to time2, to time2 is equal to "(time1+)".
(=>
(equal
(RelativeTimeFn ?TIME1 MountainTimeZone)
?TIME2)
(equal
?TIME2
(AdditionFn ?TIME1 7)))
Agar "relative time fn(time1,central time zone)" is equal to time2, to time2 is equal to "(time1+)".
(=>
(equal
(RelativeTimeFn ?TIME1 CentralTimeZone)
?TIME2)
(equal
?TIME2
(AdditionFn ?TIME1 6)))
Agar "relative time fn(time1,eastern time zone)" is equal to time2, to time2 is equal to "(time1+)".
(=>
(equal
(RelativeTimeFn ?TIME1 EasternTimeZone)
?TIME2)
(equal
?TIME2
(AdditionFn ?TIME1 5)))
