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

Formal Language: 



KB Term:  Term intersection
English Word: 

  quarter

 Sigma KEE - quarter
quarter

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13202-13203
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13204-13204 quarter is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13205-13205 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 13207-13212 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 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