Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
CroatianLanguage
DanishLanguage
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
HebrewLanguage
Hindi
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
ar
cb
classmate
colleague
cz
de
expectedYearOfGraduation
hi
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
AdditionFn
Sigma KEE - AdditionFn
AdditionFn
appearance as argument number 1
(
documentation
AdditionFn
ChineseLanguage
"如果 ?NUMBER1 和 ?NUMBER2 是
Number
,那么 (
AdditionFn
?NUMBER1 ?NUMBER2)就是这些数字的算术和。")
Merge.kif 4833-4834
(
documentation
AdditionFn
EnglishLanguage
"If ?NUMBER1 and ?NUMBER2 are
Number
s, then (
AdditionFn
?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.")
Merge.kif 4830-4832
(
domain
AdditionFn
1
Quantity
)
Merge.kif 4827-4827
(
domain
AdditionFn
2
Quantity
)
Merge.kif 4828-4828
(
identityElement
AdditionFn
0)
Merge.kif 5351-5351
(
instance
AdditionFn
AssociativeFunction
)
Merge.kif 4823-4823
(
instance
AdditionFn
BinaryFunction
)
Merge.kif 4822-4822
(
instance
AdditionFn
CommutativeFunction
)
Merge.kif 4824-4824
(
instance
AdditionFn
RelationExtendedToQuantities
)
Merge.kif 4825-4825
(
instance
AdditionFn
TotalValuedRelation
)
Merge.kif 4826-4826
(
range
AdditionFn
Quantity
)
Merge.kif 4829-4829
appearance as argument number 2
(
format
ChineseLanguage
AdditionFn
"(%*[+])")
chinese_format.kif 682-682
(
format
EnglishLanguage
AdditionFn
"(%*[+])")
english_format.kif 425-425
(
format
FrenchLanguage
AdditionFn
"(%*[+])")
french_format.kif 414-414
(
format
ItalianLanguage
AdditionFn
"(%*[+]")
relations-it.txt 20-20
(
format
PortugueseLanguage
AdditionFn
"(%*[+])")
portuguese_format.kif 366-366
(
format
cz
AdditionFn
"(%*[+])")
relations-cz.txt 423-423
(
format
de
AdditionFn
"(%*[+])")
relations-de.txt 889-889
(
format
hi
AdditionFn
"(%*[+]")
relations-hindi.txt 65-65
(
format
tg
AdditionFn
"(%*[+]")
relations-cb.txt 54-54
(
termFormat
ChineseLanguage
AdditionFn
"加法函数")
chinese_format.kif 683-683
(
termFormat
EnglishLanguage
AdditionFn
"addition")
domainEnglishFormat.kif 1337-1337
(
termFormat
tg
AdditionFn
"tungkulin ng pagsasama")
relations-tg.txt 57-57
antecedent
(=>
(
and
(
instance
?Account
CreditAccount
)
(
accountHolder
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1166-1175
(=>
(
and
(
instance
?Account
Loan
)
(
borrower
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1215-1224
(=>
(
and
(
instance
?Bond
ZeroCouponBond
)
(
maturityDate
(
AccountFn
?Bond) ?Date)
(
possesses
?BondHolder ?Bond)
(
principalAmount
(
AccountFn
?Bond) ?Principal)
(
agreementPeriod
(
AccountFn
?Bond) ?Period)
(
interestEarned
(
AccountFn
?Bond) ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
exists
(?Payment)
(
and
(
instance
?Payment
Payment
)
(
destination
?Payment ?BondHolder)
(
origin
?Payment
(
CurrencyFn
?BondAccount))
(
transactionAmount
?Payment ?Total))))
FinancialOntology.kif 2264-2278
(=>
(
and
(
instance
?Deposit
Deposit
)
(
time
?Deposit ?TimeOfDeposit)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit ?Amount)
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit)) ?Balance1)
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit)) ?Balance2))
FinancialOntology.kif 428-437
(=>
(
and
(
principalAmount
?Account ?Balance)
(
fixedInterestRate
?Account ?Rate)
(
compoundInterest
?Account ?Interest ?Period)
(
equal
?Rate-Decimal
(
DivisionFn
?Rate 100))
(
equal
?Add
(
AdditionFn
1 ?Rate-Decimal))
(
equal
?Exponent
(
ExponentiationFn
?Add
(
MagnitudeFn
?Period)))
(
equal
?Multiply
(
MultiplicationFn
?Exponent ?Balance)))
(
equal
?Interest
(
SubtractionFn
?Multiply ?Balance)))
FinancialOntology.kif 532-541
consequent
(<=>
(
average
?LIST1 ?AVERAGE)
(
exists
(?LIST2)
(
and
(
equal
(
ListLengthFn
?LIST2)
(
ListLengthFn
?LIST1))
(
equal
(
ListOrderFn
?LIST2 1)
(
ListOrderFn
?LIST1 1))
(
forall
(?ITEMFROM2)
(=>
(
inList
?ITEMFROM2 ?LIST2)
(
exists
(?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(
and
(
greaterThan
?POSITION 1)
(
lessThanOrEqualTo
?POSITION
(
ListLengthFn
?LIST2))
(
equal
(
ListOrderFn
?LIST2 ?ITEMFROM2) ?POSITION)
(
inList
?ITEMFROM1 ?LIST1)
(
equal
?POSITION
(
ListOrderFn
?LIST1 ?ITEMFROM1))
(
inList
?PRIORFROM2 ?LIST2)
(
equal
?POSITIONMINUSONE
(
SubtractionFn
?POSITION 1))
(
equal
?POSITIONMINUSONE
(
ListOrderFn
?LIST2 ?PRIORFROM2))
(
equal
?ITEMFROM2
(
AdditionFn
?ITEMFROM1 ?PRIORFROM2))))))
(
equal
?LASTPLACE
(
ListLengthFn
?LIST2))
(
equal
?AVERAGE
(
DivisionFn
(
ListOrderFn
?LIST2 ?LASTPLACE) ?LASTPLACE)))))
People.kif 285-306
(<=>
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5225-5227
(=>
(
and
(
courseWRTMagneticNorth
?OBJ1 ?OBJ2 ?MAGDEGREE)
(
partlyLocated
?OBJ1 ?AREA)
(
partlyLocated
?OBJ2 ?AREA)
(
magneticVariation
?AREA ?DEGREE ?DIRECTION))
(
exists
(?DIFFDEGREE ?TRUEDEGREE)
(
and
(=>
(
and
(
equal
?DIRECTION
East
)
(
equal
?DIFFDEGREE
(
AdditionFn
?MAGDEGREE ?DEGREE)))
(
courseWRTTrueNorth
?OBJ1 ?OBJ2 ?TRUEDEGREE))
(=>
(
and
(
equal
?DIRECTION
West
)
(
equal
?DIFFDEGREE
(
SubtractionFn
?MAGDEGREE ?DEGREE)))
(
courseWRTTrueNorth
?OBJ1 ?OBJ2 ?TRUEDEGREE)))))
Geography.kif 3619-3636
(=>
(
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)))
Merge.kif 6079-6092
(=>
(
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)))
Merge.kif 6065-6077
(=>
(
and
(
instance
?UNIT
UnitOfArea
)
(
landAreaOnly
?AREA
(
MeasureFn
?LAND ?UNIT))
(
waterAreaOnly
?AREA
(
MeasureFn
?WATER ?UNIT)))
(
totalArea
?AREA
(
MeasureFn
(
AdditionFn
?LAND ?WATER) ?UNIT)))
Geography.kif 559-564
(=>
(
and
(
totalLengthOfHighwaySystem
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
lengthOfPavedHighway
?AREA
(
MeasureFn
?LENGTH1 ?UNIT))
(
lengthOfUnpavedHighway
?AREA
(
MeasureFn
?LENGTH2 ?UNIT))
(
instance
?UNIT
UnitOfLength
))
(
totalLengthOfHighwaySystem
?AREA
(
MeasureFn
(
AdditionFn
?LENGTH1 ?LENGTH2) ?UNIT)))
Transportation.kif 477-484
(=>
(
and
(
totalLengthOfHighwaySystem
?AREA ?LENGTH)
(
lengthOfPavedHighway
?AREA ?LENGTH1)
(
lengthOfUnpavedHighway
?AREA ?LENGTH2))
(
equal
?LENGTH
(
AdditionFn
?LENGTH1 ?LENGTH2)))
Transportation.kif 470-475
(=>
(
conjugate
?COMPOUND1 ?COMPOUND2)
(
exists
(?NUMBER1 ?NUMBER2)
(
and
(
protonNumber
?COMPOUND1 ?NUMBER1)
(
protonNumber
?COMPOUND2 ?NUMBER2)
(
or
(
equal
?NUMBER1
(
AdditionFn
?NUMBER2 1))
(
equal
?NUMBER2
(
AdditionFn
?NUMBER1 1))))))
Mid-level-ontology.kif 6185-6193
(=>
(
equal
(
RelativeTimeFn
?TIME1
CentralTimeZone
) ?TIME2)
(
equal
?TIME2
(
AdditionFn
?TIME1 6)))
Merge.kif 17416-17418
(=>
(
equal
(
RelativeTimeFn
?TIME1
EasternTimeZone
) ?TIME2)
(
equal
?TIME2
(
AdditionFn
?TIME1 5)))
Merge.kif 17425-17427
(=>
(
equal
(
RelativeTimeFn
?TIME1
MountainTimeZone
) ?TIME2)
(
equal
?TIME2
(
AdditionFn
?TIME1 7)))
Merge.kif 17407-17409
(=>
(
equal
(
RelativeTimeFn
?TIME1
PacificTimeZone
) ?TIME2)
(
equal
?TIME2
(
AdditionFn
?TIME1 8)))
Merge.kif 17398-17400
(=>
(
instance
?NUMBER
ComplexNumber
)
(
exists
(?REAL1 ?REAL2)
(
and
(
instance
?REAL1
RealNumber
)
(
instance
?REAL2
RealNumber
)
(
equal
?NUMBER
(
AdditionFn
?REAL1
(
MultiplicationFn
?REAL2
(
SquareRootFn
-1)))))))
Merge.kif 2065-2074
statement
(
forall
(?NUMBER)
(
equal
(
SuccessorFn
?NUMBER)
(
AdditionFn
?NUMBER 1)))
Merge.kif 4836-4837
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners