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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 11601-11602
(subclass Kissing Touching) Mid-level-ontology.kif 11600-11600 Kissing接触subclass では %n

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 11604-11623


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