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 12856-12857
(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 12854-12854 Face は AnimalAnatomicalStructure の subclass では %n
(subclass Face BodyPart) Mid-level-ontology.kif 12855-12855 Face は 体の部分 の subclass では %n

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


(termFormat ChineseLanguage Face "面对") domainEnglishFormat.kif 23098-23098
(termFormat ChineseTraditionalLanguage Face "面對") domainEnglishFormat.kif 23097-23097
(termFormat EnglishLanguage Face "face") domainEnglishFormat.kif 23096-23096

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 12902-12913
(=>
    (and
        (instance ?F Face)
        (part ?F ?P)
        (equal ?B
            (BackFn ?P)))
    (not
        (part ?F ?B)))		 Mid-level-ontology.kif 12873-12880
(=>
    (and
        (instance ?F Face)
        (part ?F ?P)
        (equal ?B
            (FrontFn ?P)))
    (part ?F ?B))		 Mid-level-ontology.kif 12882-12888
(=>
    (instance ?FACE Face)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?FACE ?HEAD))))		 Mid-level-ontology.kif 12859-12864
(=>
    (instance ?FACE Face)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?FACE ?VERTEBRATE))))		 Mid-level-ontology.kif 12866-12871

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 12980-12988
(=>
    (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 698-715
(=>
    (instance ?CHIN Chin)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?CHIN ?FACE))))		 Mid-level-ontology.kif 12895-12900
(=>
    (instance ?H FacialHair)
    (exists (?F)
        (and
            (instance ?F Face)
            (part ?H ?F))))		 Mid-level-ontology.kif 11770-11775
(=>
    (instance ?MOUTH Mouth)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?MOUTH ?FACE))))		 Mid-level-ontology.kif 11398-11403
(=>
    (instance ?NOSE Nose)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?NOSE ?FACE))))		 Mid-level-ontology.kif 12169-12174
(=>
    (instance ?P Portrait)
    (exists (?F)
        (and
            (instance ?F Face)
            (represents ?P ?F))))		 Mid-level-ontology.kif 3122-3127
(=>
    (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 3511-3524
(=>
    (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 5445-5455