Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


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

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Face "face") domainEnglishFormat.kif 23086-23086
(termFormat ChineseTraditionalLanguage Face "面對") domainEnglishFormat.kif 23087-23087
(termFormat ChineseLanguage Face "面对") domainEnglishFormat.kif 23088-23088

antecedent
-------------------------


(=>
    (instance ?FACE Face)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?FACE ?HEAD))))		 Mid-level-ontology.kif 14504-14509 If X is an instance of face, then there exists Y such that Y is an instance of head and X is a part of Y
(=>
    (instance ?FACE Face)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?FACE ?VERTEBRATE))))		 Mid-level-ontology.kif 14511-14516 If X is an instance of face, then there exists Y such that Y is an instance of vertebrate and X is a part of Y
(=>
    (and
        (instance ?F Face)
        (part ?F ?P)
        (equal ?B
            (BackFn ?P)))
    (not
        (part ?F ?B)))		 Mid-level-ontology.kif 14518-14525 If X is an instance of face, X is a part of Y, and equal Z and the back of Y, then X is not a part of Z
(=>
    (and
        (instance ?F Face)
        (part ?F ?P)
        (equal ?B
            (FrontFn ?P)))
    (part ?F ?B))		 Mid-level-ontology.kif 14527-14533 If X is an instance of face, X is a part of Y, and equal Z and the front of Y, then X is a part of Z
(=>
    (and
        (instance ?CHIN Chin)
        (instance ?FACE Face)
        (part ?CHIN ?FACE)
        (part ?PART ?FACE)
        (not
            (part ?PART ?CHIN)))
    (orientation ?PART ?CHIN Below))		 Mid-level-ontology.kif 14547-14555 If X is an instance of chin, Y is an instance of face, X is a part of Y, Z is a part of Y, and Z is not a part of X, then Z is below to X

consequent
-------------------------


(=>
    (instance ?P Portrait)
    (exists (?F)
        (and
            (instance ?F Face)
            (represents ?P ?F))))		 Mid-level-ontology.kif 3757-3762 If X is an instance of portrait, then there exists Y such that Y is an instance of face and X expresses Y
(=>
    (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 6592-6602 If X is an instance of veil, then X has the purpose there exist Y, Z such that Y is an instance of face, X meets Y or Z is an instance of hair, and X meets Z
(=>
    (instance ?MOUTH Mouth)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?MOUTH ?FACE))))		 Mid-level-ontology.kif 12926-12931 If X is an instance of mouth, then there exists Y such that Y is an instance of face and X is a part of Y
(=>
    (instance ?H FacialHair)
    (exists (?F)
        (and
            (instance ?F Face)
            (part ?H ?F))))		 Mid-level-ontology.kif 13298-13303 If X is an instance of facial hair, then there exists Y such that Y is an instance of face and X is a part of Y
(=>
    (instance ?NOSE Nose)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?NOSE ?FACE))))		 Mid-level-ontology.kif 13794-13799 If X is an instance of nose, then there exists Y such that Y is an instance of face and X is a part of Y
(=>
    (instance ?CHIN Chin)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?CHIN ?FACE))))		 Mid-level-ontology.kif 14540-14545 If X is an instance of chin, then there exists Y such that Y is an instance of face and X is a part of Y
(=>
    (and
        (instance ?EXPRESS FacialExpression)
        (agent ?EXPRESS ?AGENT))
    (exists (?FACE)
        (and
            (part ?FACE ?AGENT)
            (instance ?FACE Face)
            (instrument ?EXPRESS ?FACE))))		 Mid-level-ontology.kif 21934-21942 If X is an instance of facial expression and Y is an agent of X, then there exists Z such that Z is a part of Y, Z is an instance of face, and Z is an instrument for X
(=>
    (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 3375-3388 If X is an instance of protective eyewear, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of animal (3) Z is an instance of face (4) W is an instance of eye (5) W is a proper part of Z (6) Z is a proper part of Y (7) Y wears X (8) V is an instance of covering (9) X is an agent of V (10) Z is a patient of V
(=>
    (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 676-693 If X is an instance of violent contest, Y is a patient of X, an injury caused by Z is an attribute of Y, and impaired body part fn airway is an attribute of Y, then the statement Z is a subclass of burning or there exists W such that V is an instance of injuring, V is located at U, U is an instance of face, and Y is a patient of V has the modal force of likely
(=>
    (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 2593-2606 If X is an instance of experiencing heat in cheeks or chest and Y experiences X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of perception (3) Z is a subprocess of X (4) Y is an agent of Z (5) W is a patient of Z (6) W is an instance of torso or W is an instance of face (7) W is a part of Y