TreeView Knowledge Base Browser - Face

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Face

Sigma KEE - Face

Face(face)

cheek, face, feature, human_face, jowl, lineament

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10538-10539
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 88-88
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10536-10536	Face is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10537-10537	Face is a subclass of body part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23026-23026
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23025-23025
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23024-23024

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10567-10578	If an object is an instance of chin and another object is an instance of face and the object is a part of the other object, then for all a third object if the third object is a part of the other object and the third object is not a part of the object, then the third object is below to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10541-10546	If an object is an instance of face, then there exists another object such that the other object is an instance of head and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10548-10553	If an object is an instance of face, then there exists another object such that the other object is an instance of vertebrate and the object is a part of the other object

consequent

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1701-1714	If a process is an instance of experiencing heat in cheeks or chest and an agent experiences the process, then there exists another process such that the other process is an instance of perception and the other process is a subprocess of the process and the agent is an agent of the other process and an object is a patient of the other process and the object is an instance of torso or the object is an instance of face and the object is a part of the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10644-10652	If a process is an instance of facial expression and an agent is an agent of the process, then there exists an object such that the object is a part of the agent and the object is an instance of face and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10560-10565	If an object is an instance of chin, then there exists another object such that the other object is an instance of face and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9967-9972	If an object is an instance of facial hair, then there exists another object such that the other object is an instance of face and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9665-9670	If an object is an instance of mouth, then there exists another object such that the other object is an instance of face and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10119-10124	If an object is an instance of nose, then there exists another object such that the other object is an instance of face and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3693-3698	If an entity is an instance of portrait, then there exists another entity such that the other entity is an instance of face and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3488-3501	If a physical is an instance of protective eyewear, then the physical purpose there exist the physicalRSON, another entity,, , a third entity and a fourth entity such that the physicalRSON is an instance of animal and the other entity is an instance of face and the third entity is an instance of eye and the third entity is a proper part of the other entity and the other entity is a proper part of the physicalRSON and the physicalRSON は % を wears %n{ない} and the fourth entity is an instance of covering and the physical is an agent of the fourth entity and the other entity is a patient of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5721-5731	If a physical is an instance of veil, then the physical purpose there exist an entity and another entity such that the entity is an instance of face and the physical meets the entity or the other entity is an instance of hair and the physical meets the other entity

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