Face - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Face

Face(face)

cheek, face, feature, human_face, jowl, lineament

appearance as argument number 1

(documentation Face EnglishLanguage "The part of the Head from forehead to chin and from ear to ear.")	Mid-level-ontology.kif 10508-10509
(externalImage Face "http://upload.wikimedia.org/wikipedia/commons/6/69/ Face_of_SpooSpa.jpg")	pictureList.kif 88-88	"http://upload.wikimedia.org/wikipedia/commons/6/69/ Face_of_SpooSpa.jpg" is a URL depicting face
(subclass Face AnimalAnatomicalStructure)	Mid-level-ontology.kif 10506-10506	Face is a subclass of animal anatomical structure
(subclass Face BodyPart)	Mid-level-ontology.kif 10507-10507	Face is a subclass of body part

appearance as argument number 2

(termFormat EnglishLanguage Face "face")

domainEnglishFormat.kif 4270-4270

"face" is the printable form of face in english language

antecedent

(=> (instance ?FACE Face) (exists (?HEAD) (and (instance ?HEAD Head) (part ?FACE ?HEAD))))	Mid-level-ontology.kif 10511-10516	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
(=> (instance ?FACE Face) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?FACE ?VERTEBRATE))))	Mid-level-ontology.kif 10518-10523	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

(=> (and (instance ?EXPRESS FacialExpression) (agent ?EXPRESS ?AGENT)) (exists (?FACE) (and (part ?FACE ?AGENT) (instance ?FACE Face) (instrument ?EXPRESS ?FACE))))	Mid-level-ontology.kif 10611-10619	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
(=> (instance ?CHIN Chin) (exists (?FACE) (and (instance ?FACE Face) (part ?CHIN ?FACE))))	Mid-level-ontology.kif 10530-10535	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
(=> (instance ?H FacialHair) (exists (?F) (and (instance ?F Face) (part ?H ?F))))	Mid-level-ontology.kif 9968-9973	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
(=> (instance ?MOUTH Mouth) (exists (?FACE) (and (instance ?FACE Face) (part ?MOUTH ?FACE))))	Mid-level-ontology.kif 9666-9671	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
(=> (instance ?NOSE Nose) (exists (?FACE) (and (instance ?FACE Face) (part ?NOSE ?FACE))))	Mid-level-ontology.kif 10120-10125	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
(=> (instance ?P Portrait) (exists (?F) (and (instance ?F Face) (represents ?P ?F))))	Mid-level-ontology.kif 3691-3696	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
(=> (instance ?PE ProtectiveEyewear) (hasPurpose ?PE (exists (?PERSON ?FACE ?EYE ?COVER) (and (instance ?PERSON Animal) (instance ?FACE Face) (instance ?EYE Eye) (properPart ?EYE ?FACE) (properPart ?FACE ?PERSON) (wears ?PERSON ?PE) (instance ?COVER Covering) (agent ?COVER ?PE) (patient ?COVER ?FACE)))))	Cars.kif 3480-3493	If a physical is an instance of protective eyewear, then the physical has 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 the physical 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
(=> (instance ?V Veil) (hasPurpose ?V (exists (?F ?H) (or (and (instance ?F Face) (meetsSpatially ?V ?F)) (and (instance ?H Hair) (meetsSpatially ?V ?H))))))	Mid-level-ontology.kif 5715-5725	If a physical is an instance of veil, then the physical has 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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners