Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi Concept: English word: Home

If number1 and number2 are Numbers, then (AdditionFn number1 number2) is the arithmetical sum of these numbers.

## Ontology

SUMO / NUMERIC-FUNCTIONS

## Class(es)

 varga

inheritable relation

 sahachaary prakaarya
 vinimaya-sambandhI prakaarya
 varga

inheritable relation

matraaon kaa sanbandha vistaara

## 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

## Related WordNet synsets

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
?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
(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

"(number+1)" is equal to "(number+)".
```(equal
(SuccessorFn ?NUMBER)

"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
(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
(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)

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

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

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
```(=>