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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - half
half

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13174-13175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13173-13173 half is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13172-13172 half is a subrelation of part

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3594-3594
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3593-3593
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3592-3592
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27258-27258
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27257-27257
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27256-27256

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13177-13183

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13208-13213 An object is a quarter of another object if and only if there exists a third object such that the third object is half of the other object and the object is half of the third object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26560-26567
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13177-13183
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13220-13227


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