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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Kissing

Sigma KEE - Kissing
Kissing

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


(documentation Kissing EnglishLanguage "The class of Touching processes where the lips of two persons are brought into contact with each other.") Mid-level-ontology.kif 11628-11629
(subclass Kissing Touching) Mid-level-ontology.kif 11627-11627

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


(termFormat ChineseLanguage Kissing "接吻") domainEnglishFormat.kif 32623-32623
(termFormat ChineseTraditionalLanguage Kissing "接吻") domainEnglishFormat.kif 32622-32622
(termFormat EnglishLanguage Kissing "kissing") domainEnglishFormat.kif 32621-32621

antecedent
-------------------------


(=>
    (instance ?KISS Kissing)
    (exists (?PERSON1 ?PERSON2 ?LIP1 ?LIP2)
        (and
            (agent ?KISS ?PERSON1)
            (agent ?KISS ?PERSON2)
            (instance ?PERSON1 Human)
            (instance ?PERSON2 Human)
            (not
                (equal ?PERSON1 ?PERSON2))
            (instance ?LIP1 Lip)
            (instance ?LIP2 Lip)
            (part ?LIP1 ?PERSON1)
            (part ?LIP2 ?PERSON2)
            (holdsDuring
                (BeginFn
                    (WhenFn ?KISS))
                (not
                    (meetsSpatially ?LIP1 ?LIP2)))
            (holdsDuring
                (EndFn
                    (WhenFn ?KISS))
                (meetsSpatially ?LIP1 ?LIP2)))))
Mid-level-ontology.kif 11631-11650


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

Show without tree


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