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 13780-13781
(externalImage Face "http://upload.wikimedia.org/wikipedia/commons/6/69/ Face_of_SpooSpa.jpg")	pictureList.kif 88-88
(subclass Face AnimalAnatomicalStructure)	Mid-level-ontology.kif 13778-13778	Face is a subclass of animal anatomical structure
(subclass Face BodyPart)	Mid-level-ontology.kif 13779-13779	Face is a subclass of body part

appearance as argument number 2

(termFormat ChineseLanguage Face "面对")	domainEnglishFormat.kif 23106-23106
(termFormat ChineseTraditionalLanguage Face "面對")	domainEnglishFormat.kif 23105-23105
(termFormat EnglishLanguage Face "face")	domainEnglishFormat.kif 23104-23104

antecedent

(=> (and (instance ?CHIN Chin) (instance ?FACE Face) (part ?CHIN ?FACE)) (forall (?PART) (=> (and (part ?PART ?FACE) (not (part ?PART ?CHIN))) (orientation ?PART ?CHIN Below))))	Mid-level-ontology.kif 13826-13837	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
(=> (and (instance ?F Face) (part ?F ?P) (equal ?B (BackFn ?P))) (not (part ?F ?B)))	Mid-level-ontology.kif 13797-13804	If an object is an instance of face and the object is a part of a self connected object and another self connected object is equal to the back of the self connected object, then the object is not a part of the other self connected object
(=> (and (instance ?F Face) (part ?F ?P) (equal ?B (FrontFn ?P))) (part ?F ?B))	Mid-level-ontology.kif 13806-13812	If an object is an instance of face and the object is a part of a self connected object and another self connected object is equal to the front of the self connected object, then the object is a part of the other self connected object
(=> (instance ?FACE Face) (exists (?HEAD) (and (instance ?HEAD Head) (part ?FACE ?HEAD))))	Mid-level-ontology.kif 13783-13788	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 13790-13795	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 ?ELT ExperiencingHeatInCheeksOrChest) (experiencer ?ELT ?A)) (exists (?P ?T) (and (instance ?P Perception) (subProcess ?P ?ELT) (agent ?P ?A) (patient ?P ?T) (or (instance ?T Torso) (instance ?T Face)) (part ?T ?A))))	emotion.kif 1738-1751	If a process is an instance of experiencing heat in cheeks or chest and an agent experiences the process, then there exist another process and an object 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 the 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
(=> (and (instance ?EXPRESS FacialExpression) (agent ?EXPRESS ?AGENT)) (exists (?FACE) (and (part ?FACE ?AGENT) (instance ?FACE Face) (instrument ?EXPRESS ?FACE))))	Mid-level-ontology.kif 13904-13912	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
(=> (and (instance ?V ViolentContest) (patient ?V ?H) (attribute ?H (InjuryCausedFn ?PC)) (attribute ?H (ImpairedBodyPartFn Airway))) (modalAttribute (or (subclass ?PC Combustion) (exists (?FI) (and (instance ?I Injuring) (located ?I ?F) (instance ?F Face) (patient ?I ?H)))) Likely))	Medicine.kif 686-703	If a process is an instance of violent contest and an object is a patient of the process and an injury caused by another kind of process is an attribute of the object and impaired body part fn airway is an attribute of the object, then the statement another kind of process is a subclass of burning or there exists an entity such that another entity is an instance of injuring and the other entity is located at a third entity and the third entity is an instance of face and the object is a patient of the other entity has the modal force of likely
(=> (instance ?CHIN Chin) (exists (?FACE) (and (instance ?FACE Face) (part ?CHIN ?FACE))))	Mid-level-ontology.kif 13819-13824	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 12694-12699	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 12322-12327	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 13093-13098	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 3216-3221	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 3572-3585	If a physical is an instance of protective eyewear, then the physical has the 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 6022-6032	If a physical is an instance of veil, then the physical has the 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

statement

(subclass FacialParalysis (ParalysisFn Face))	Medicine.kif 1842-1842	Paralysis of the face is a subclass of paralysis of the face
(subclass Mask (CoveringFn Face))	Mid-level-ontology.kif 5650-5650	Mask is a subclass of a covering for face

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 3.0 is open source software produced by Articulate Software and its partners