Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AdditionFn
AdditionFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2214-2215
No TPTP formula. May not be expressible in strict first order. Merge.kif 4716-4718
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 878-879
No TPTP formula. May not be expressible in strict first order. Merge.kif 4712-4712 The number 1 argument of addition is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 4713-4713 The number 2 argument of addition is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5295-5295 0 is an identity element of addition
No TPTP formula. May not be expressible in strict first order. Merge.kif 4708-4708 Addition is an instance of associative function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4707-4707 Addition is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4709-4709 Addition is an instance of commutative function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4711-4711 Addition is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4714-4714 The range of addition is an instance of real number

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 682-682
No TPTP formula. May not be expressible in strict first order. english_format.kif 684-684
No TPTP formula. May not be expressible in strict first order. french_format.kif 414-414
No TPTP formula. May not be expressible in strict first order. relations-it.txt 20-20
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2131-2131
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 366-366
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 423-423
No TPTP formula. May not be expressible in strict first order. relations-de.txt 889-889
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 65-65
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 436-436
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 458-458
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 54-54
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5418-5418
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 683-683
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5417-5417
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5416-5416
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 57-57

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 3068-3089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23916-23932
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1224-1233
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1273-1282
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2333-2355
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 436-453
No TPTP formula. May not be expressible in strict first order. Weather.kif 1935-1944
No TPTP formula. May not be expressible in strict first order. Merge.kif 5117-5128

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 272-293 A real number is an average of a list if and only if there exist another list and a positive integer such that length of the other list is equal to length of the list and 1th element of the other list is equal to 1th element of the list and for all another positive integer and the positive integer is equal to length of the other list and the real number is equal to the positive integerth element of the other list and the positive integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5993-6006
No TPTP formula. May not be expressible in strict first order. Merge.kif 5979-5991
No TPTP formula. May not be expressible in strict first order. Merge.kif 5104-5115
No TPTP formula. May not be expressible in strict first order. Merge.kif 3258-3268
No TPTP formula. May not be expressible in strict first order. Merge.kif 3083-3102
No TPTP formula. May not be expressible in strict first order. Media.kif 3068-3089
No TPTP formula. May not be expressible in strict first order. Merge.kif 3190-3202
No TPTP formula. May not be expressible in strict first order. Weather.kif 1453-1465
No TPTP formula. May not be expressible in strict first order. Food.kif 1248-1262
No TPTP formula. May not be expressible in strict first order. Biography.kif 69-85
No TPTP formula. May not be expressible in strict first order. Biography.kif 99-115
No TPTP formula. May not be expressible in strict first order. Geography.kif 555-560
No TPTP formula. May not be expressible in strict first order. Merge.kif 17206-17212
No TPTP formula. May not be expressible in strict first order. Merge.kif 17218-17224
No TPTP formula. May not be expressible in strict first order. Merge.kif 17194-17200
No TPTP formula. May not be expressible in strict first order. Merge.kif 17182-17188
No TPTP formula. May not be expressible in strict first order. Transportation.kif 510-517
No TPTP formula. May not be expressible in strict first order. Transportation.kif 503-508
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6501-6509

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4720-4721 For all an integer (the integer+1) is equal to (the integer and 1)


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners