Kissing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Kissing

Kissing(kissing)

buss, kiss, osculate, osculation, snog

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11601-11602
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11600-11600	Kissing is a subclass of touching

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32623-32623
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32622-32622
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32621-32621

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 11604-11623

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