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


(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 14403-14403 Face is a subclass of animal anatomical structure
(subclass Face BodyPart) Mid-level-ontology.kif 14404-14404 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 14405-14406 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 14408-14413 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 14415-14420 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 14422-14429 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 14431-14437 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 14451-14459 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 3626-3631 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 6439-6449 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 12857-12862 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 13229-13234 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 13718-13723 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 14444-14449 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 14524-14532 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 3600-3613 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 2403-2416 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