Lip - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Lip

Lip

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11617-11618
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 128-128
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11615-11615	Lip e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11616-11616	Lip e' uma sub-classe de Parte do Corpo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34571-34571
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34570-34570
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34569-34569

antecedent

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

Mid-level-ontology.kif 11620-11625

Objeto e' uma instancia de Lip
Objeto Objeto e' uma instancia de Mouth Objeto e' uma &parte de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1202-1212	Processo e' uma instancia de PressingLipsTogether Processo e' um agente de AutonomousAgent Objeto Processo Objeto e' uma instancia de Lip Objeto e' uma &parte de AutonomousAgent Processo e' uma instancia de Movimento do Corpo Objeto e' um patient de Processo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11631-11650	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 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