Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Face
Face(face)

appearance as argument number 1
-------------------------


(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 14369-14369 Face is a subclass of animal anatomical structure
(subclass Face BodyPart) Mid-level-ontology.kif 14370-14370 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 14371-14372 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 14374-14379 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 14381-14386 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 14388-14395 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 14397-14403 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 14417-14425 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 3610-3615 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 6429-6439 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 12823-12828 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 13195-13200 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 13684-13689 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 14410-14415 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 14491-14499 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 3589-3602 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 2394-2407 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