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 4626-4628
No TPTP formula. May not be expressible in strict first order. Merge.kif 4622-4622 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 4623-4623 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 5201-5201 0 is an identity element of addition
No TPTP formula. May not be expressible in strict first order. Merge.kif 4618-4618 Addition is an instance of associative function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4617-4617 Addition is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4619-4619 Addition is an instance of commutative function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4621-4621 Addition is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4624-4624 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 23379-23396
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1223-1232
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1272-1281
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2341-2363
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 5027-5038

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 5897-5910
No TPTP formula. May not be expressible in strict first order. Merge.kif 5883-5895
No TPTP formula. May not be expressible in strict first order. Merge.kif 5014-5025
No TPTP formula. May not be expressible in strict first order. Merge.kif 3193-3203
No TPTP formula. May not be expressible in strict first order. Merge.kif 3017-3036
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 3124-3136
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 6174-6182
No TPTP formula. May not be expressible in strict first order. Merge.kif 16947-16959
No TPTP formula. May not be expressible in strict first order. Merge.kif 16965-16977
No TPTP formula. May not be expressible in strict first order. Merge.kif 16929-16941
No TPTP formula. May not be expressible in strict first order. Merge.kif 16911-16923

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4630-4631 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