TreeView 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 11600-11601
(subclass Kissing Touching)	Mid-level-ontology.kif 11599-11599	Kissing ist eine teilkategorie von Touching

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 11603-11622

Wenn Process ist ein fall von Kissing %n{nicht},
dann es gibt AutonomousAgent, ** AutonomousAgent,, , Object, and und ** Object um ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Process ist der agent von ** ** AutonomousAgent %n{nicht} und ** AutonomousAgent ist ein fall von Human %n{nicht} und ** ** AutonomousAgent ist ein fall von Human %n{nicht} und ** AutonomousAgent ist gleich ** ** AutonomousAgent nicht und ** Object ist ein fall von Lip %n{nicht} und ** ** Object ist ein fall von Lip %n{nicht} und ** Object ist ein teil von ** AutonomousAgent %n{nicht} und ** ** Object ist ein teil von ** ** AutonomousAgent %n{nicht} und ** Object schliesst ** ** Object raeumlich nicht an haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und ** Object schliesst ** ** Object raeumlich an haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}

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

KB Term:			Term intersection

English Word: