TreeView Knowledge Base Browser - Forehead

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Forehead

Forehead(forehead)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1484-1485
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1487-1487	Every forehead is initially part of a head
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1483-1483	Forehead is a subclass of body part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Anatomy.kif 1486-1486

antecedent

No TPTP formula. May not be expressible in strict first order.

Anatomy.kif 1488-1500

If an object is an instance of forehead and healthy is an attribute of another object and standing is an attribute of the other object holds during a time position and a third object is a part of the other object,
then there exists the third objectYE such that the third objectYE is an instance of eye and the third objectYE is a part of the other object and the object is above to the third objectYE

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