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 9695-9696
(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 9693-9693
(subclass Face BodyPart) Mid-level-ontology.kif 9694-9694

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


(termFormat ChineseLanguage Face "面对") domainEnglishFormat.kif 23085-23085
(termFormat ChineseTraditionalLanguage Face "面對") domainEnglishFormat.kif 23084-23084
(termFormat EnglishLanguage Face "face") domainEnglishFormat.kif 23083-23083

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 9724-9735
(=>
    (instance ?FACE Face)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?FACE ?HEAD))))
Mid-level-ontology.kif 9698-9703
(=>
    (instance ?FACE Face)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?FACE ?VERTEBRATE))))
Mid-level-ontology.kif 9705-9710

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


(=>
    (and
        (instance ?ELT ExperiencingHeatInCheeksOrChest)
        (experiencer ?ELT ?A))
    (exists (?P)
        (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 1707-1720
(=>
    (and
        (instance ?EXPRESS FacialExpression)
        (agent ?EXPRESS ?AGENT))
    (exists (?FACE)
        (and
            (part ?FACE ?AGENT)
            (instance ?FACE Face)
            (instrument ?EXPRESS ?FACE))))
Mid-level-ontology.kif 9802-9810
(=>
    (instance ?CHIN Chin)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?CHIN ?FACE))))
Mid-level-ontology.kif 9717-9722
(=>
    (instance ?H FacialHair)
    (exists (?F)
        (and
            (instance ?F Face)
            (part ?H ?F))))
Mid-level-ontology.kif 9116-9121
(=>
    (instance ?MOUTH Mouth)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?MOUTH ?FACE))))
Mid-level-ontology.kif 8809-8814
(=>
    (instance ?NOSE Nose)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?NOSE ?FACE))))
Mid-level-ontology.kif 9270-9275
(=>
    (instance ?P Portrait)
    (exists (?F)
        (and
            (instance ?F Face)
            (represents ?P ?F))))
Mid-level-ontology.kif 3082-3087
(=>
    (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 3527-3540
(=>
    (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 5125-5135


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners