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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AdditionFn

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 4620-4622
No TPTP formula. May not be expressible in strict first order. Merge.kif 4616-4616 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 4617-4617 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 5195-5195 0 is an identity element of addition
No TPTP formula. May not be expressible in strict first order. Merge.kif 4612-4612 Addition is an instance of associative function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4611-4611 Addition is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4613-4613 Addition is an instance of commutative function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4615-4615 Addition is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4618-4618 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. domainEnglishFormat.kif 5427-5427
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 5426-5426
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5425-5425

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3056-3077
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23355-23372
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 1934-1943
No TPTP formula. May not be expressible in strict first order. Merge.kif 5021-5032

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


No TPTP formula. May not be expressible in strict first order. People.kif 289-310 A real number is an average of a list if and only if there exists another list 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 a positive integer and a fourth positive integer is equal to length of the other list and the real number is equal to the fourth positive integerth element of the other list and the fourth positive integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5891-5904
No TPTP formula. May not be expressible in strict first order. Merge.kif 5877-5889
No TPTP formula. May not be expressible in strict first order. Merge.kif 5008-5019
No TPTP formula. May not be expressible in strict first order. Merge.kif 3187-3197
No TPTP formula. May not be expressible in strict first order. Merge.kif 3011-3030
No TPTP formula. May not be expressible in strict first order. Media.kif 3056-3077
No TPTP formula. May not be expressible in strict first order. Merge.kif 3118-3130
No TPTP formula. May not be expressible in strict first order. Weather.kif 1452-1464
No TPTP formula. May not be expressible in strict first order. Geography.kif 562-567
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 6170-6178
No TPTP formula. May not be expressible in strict first order. Merge.kif 16934-16946
No TPTP formula. May not be expressible in strict first order. Merge.kif 16952-16964
No TPTP formula. May not be expressible in strict first order. Merge.kif 16916-16928
No TPTP formula. May not be expressible in strict first order. Merge.kif 16898-16910

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


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


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 3.0 is open source software produced by Articulate Software and its partners