TreeView Knowledge Base Browser - Kissing

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11600-11601
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11599-11599	Kissing e' uma sub-classe de Tocar

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

Processo e' uma instancia de Kissing
AutonomousAgent AutonomousAgent, Objeto and Objeto Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Humano AutonomousAgent e' uma instancia de Humano AutonomousAgent e' igual a AutonomousAgent Objeto e' uma instancia de Lip Objeto e' uma instancia de Lip Objeto e' uma &parte de AutonomousAgent Objeto e' uma &parte de AutonomousAgent Objeto nao encontra %n Objeto vale durante o comeco de tempo de existencia de Processo Objeto encontra Objeto vale durante o fim de tempo de existencia de Processo

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