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


(documentation Face EnglishLanguage "The part of the Head from forehead to chin and from ear to ear.") Mid-level-ontology.kif 10510-10511
(externalImage Face "http://upload.wikimedia.org/wikipedia/commons/6/69/ Face_of_SpooSpa.jpg") pictureList.kif 88-88 "http://upload.wikimedia.org/wikipedia/commons/6/69/ Face_of_SpooSpa.jpg" is a URL depicting face
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 10508-10508 Face is a subclass of animal anatomical structure
(subclass Face BodyPart) Mid-level-ontology.kif 10509-10509 Face is a subclass of body part

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


(termFormat ChineseLanguage Face "面对") domainEnglishFormat.kif 23023-23023 "面对" is the printable form of face in ChineseLanguage
(termFormat ChineseTraditionalLanguage Face "面對") domainEnglishFormat.kif 23022-23022 "面對" is the printable form of face in ChineseTraditionalLanguage
(termFormat EnglishLanguage Face "face") domainEnglishFormat.kif 23021-23021 "face" is the printable form of face in english language

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 10539-10550
(=>
    (instance ?FACE Face)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?FACE ?HEAD))))
Mid-level-ontology.kif 10513-10518
(=>
    (instance ?FACE Face)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?FACE ?VERTEBRATE))))
Mid-level-ontology.kif 10520-10525

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 1700-1713
(=>
    (and
        (instance ?EXPRESS FacialExpression)
        (agent ?EXPRESS ?AGENT))
    (exists (?FACE)
        (and
            (part ?FACE ?AGENT)
            (instance ?FACE Face)
            (instrument ?EXPRESS ?FACE))))
Mid-level-ontology.kif 10616-10624
(=>
    (instance ?CHIN Chin)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?CHIN ?FACE))))
Mid-level-ontology.kif 10532-10537
(=>
    (instance ?H FacialHair)
    (exists (?F)
        (and
            (instance ?F Face)
            (part ?H ?F))))
Mid-level-ontology.kif 9970-9975
(=>
    (instance ?MOUTH Mouth)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?MOUTH ?FACE))))
Mid-level-ontology.kif 9668-9673
(=>
    (instance ?NOSE Nose)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?NOSE ?FACE))))
Mid-level-ontology.kif 10122-10127
(=>
    (instance ?P Portrait)
    (exists (?F)
        (and
            (instance ?F Face)
            (represents ?P ?F))))
Mid-level-ontology.kif 3687-3692
(=>
    (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 3486-3499
(=>
    (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 5715-5725


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners