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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - identityElement
identityElement

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2278-2279
No TPTP formula. May not be expressible in strict first order. Merge.kif 5281-5283
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 945-947
No TPTP formula. May not be expressible in strict first order. Merge.kif 5278-5278 The number 1 argument of identity element is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5279-5279 The number 2 argument of identity element is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5277-5277 identity element is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 674-674
No TPTP formula. May not be expressible in strict first order. english_format.kif 676-676
No TPTP formula. May not be expressible in strict first order. french_format.kif 408-408
No TPTP formula. May not be expressible in strict first order. relations-it.txt 134-134
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2129-2129
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 360-360
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 417-417
No TPTP formula. May not be expressible in strict first order. relations-de.txt 880-880
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 173-173
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 430-430
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 451-451
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 675-675
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29193-29193
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29192-29192
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29191-29191

appearance as argument number 0
-------------------------


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 5297-5297 1 is an identity element of division
No TPTP formula. May not be expressible in strict first order. Merge.kif 5294-5294 1 is an identity element of multiplication
No TPTP formula. May not be expressible in strict first order. Merge.kif 5296-5296 0 is an identity element of subtraction


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