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

Formal Language: 



KB Term:  Term intersection
English Word: 

  identityElement

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 5181-5183
No TPTP formula. May not be expressible in strict first order. Merge.kif 5178-5178 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 5179-5179 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 5177-5177 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. chinese_format.kif 675-675
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29184-29184
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29183-29183
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29182-29182

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


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


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