Kissing - Sigma Knowledge base Browser

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 12497-12498
(subclass Kissing Touching)	Mid-level-ontology.kif 12496-12496	Kissing is a subclass of touching

appearance as argument number 2

(termFormat ChineseLanguage Kissing "接吻")	domainEnglishFormat.kif 32651-32651
(termFormat ChineseTraditionalLanguage Kissing "接吻")	domainEnglishFormat.kif 32650-32650
(termFormat EnglishLanguage Kissing "kissing")	domainEnglishFormat.kif 32649-32649

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 12500-12519

If a process is an instance of kissing,
then there exist an agent, another agent,, , an object and another object such that the agent is an agent of the process and the other agent is an agent of the process and the agent is an instance of human and the other agent is an instance of human and the agent is not equal to the other agent and the object is an instance of lip and the other object is an instance of lip and the object is a part of the agent and the other object is a part of the other agent and the object doesn't meet the other object holds during the beginning of the time of existence of the process and the object meets the other object holds during the end of the time of existence of the process

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

KB Term:			Term intersection

English Word: