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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - quarter
quarter

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13203-13204
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13205-13205 quarter is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13206-13206 quarter is a subrelation of part

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4314-4314
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4313-4313
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4312-4312
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48302-48302
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48301-48301
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48300-48300

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


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


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