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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Face
Face

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 14215-14216
(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 14213-14213 Face est une sous-classe de AnimalAnatomicalStructure
(subclass Face BodyPart) Mid-level-ontology.kif 14214-14214 Face est une sous-classe de partie du corps

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


(termFormat ChineseLanguage Face "面对") domainEnglishFormat.kif 23095-23095
(termFormat ChineseTraditionalLanguage Face "面對") domainEnglishFormat.kif 23094-23094
(termFormat EnglishLanguage Face "face") domainEnglishFormat.kif 23093-23093

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 14261-14272
(=>
    (and
        (instance ?F Face)
        (part ?F ?P)
        (equal ?B
            (BackFn ?P)))
    (not
        (part ?F ?B)))		 Mid-level-ontology.kif 14232-14239
(=>
    (and
        (instance ?F Face)
        (part ?F ?P)
        (equal ?B
            (FrontFn ?P)))
    (part ?F ?B))		 Mid-level-ontology.kif 14241-14247
(=>
    (instance ?FACE Face)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?FACE ?HEAD))))		 Mid-level-ontology.kif 14218-14223
(=>
    (instance ?FACE Face)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?FACE ?VERTEBRATE))))		 Mid-level-ontology.kif 14225-14230

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
(=>
    (and
        (instance ?EXPRESS FacialExpression)
        (agent ?EXPRESS ?AGENT))
    (exists (?FACE)
        (and
            (part ?FACE ?AGENT)
            (instance ?FACE Face)
            (instrument ?EXPRESS ?FACE))))		 Mid-level-ontology.kif 14339-14347
(=>
    (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 689-706
(=>
    (instance ?CHIN Chin)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?CHIN ?FACE))))		 Mid-level-ontology.kif 14254-14259
(=>
    (instance ?H FacialHair)
    (exists (?F)
        (and
            (instance ?F Face)
            (part ?H ?F))))		 Mid-level-ontology.kif 13129-13134
(=>
    (instance ?MOUTH Mouth)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?MOUTH ?FACE))))		 Mid-level-ontology.kif 12757-12762
(=>
    (instance ?NOSE Nose)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?NOSE ?FACE))))		 Mid-level-ontology.kif 13528-13533
(=>
    (instance ?P Portrait)
    (exists (?F)
        (and
            (instance ?F Face)
            (represents ?P ?F))))		 Mid-level-ontology.kif 3593-3598
(=>
    (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
(=>
    (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 6410-6420