TreeView Knowledge Base Browser - half

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

half

Sigma KEE - half

half

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13173-13174
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13172-13172	half is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13171-13171	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 13176-13182

If an object is half of another object,
then there exists a third object such that the third object is half of the other object and the third object is not equal to the object and the other object is equal to the union of the parts of the object and the third object

consequent

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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26548-26555	If an attribute is an attribute of an object and the attribute is an instance of hemisphere, then there exists another object such that the other object is an instance of sphere and the object is half of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13176-13182	If an object is half of another object, then there exists a third object such that the third object is half of the other object and the third object is not equal to the object and the other object is equal to the union of the parts of the object and the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13219-13226	If an object is most of another object, then there exist a third object, a real number,, , another real number and an unit of measure such that the third object is half of the other object and the measure of the third object is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the other real number is greater than the real number

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