Face - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Face

Face

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12911-12912
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 88-88
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12909-12909	Face e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12910-12910	Face 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 23092-23092
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23091-23091
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23090-23090

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12957-12968	Objeto e' uma instancia de Chin Objeto e' uma instancia de Face Objeto e' uma &parte de Objeto Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' Below em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12928-12935	Objeto e' uma instancia de Face Objeto e' uma &parte de Objeto auto-conectado Objeto auto-conectado e' igual a atras de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12937-12943	Objeto e' uma instancia de Face Objeto e' uma &parte de Objeto auto-conectado Objeto auto-conectado e' igual a afrente de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12914-12919	Objeto e' uma instancia de Face Objeto Objeto e' uma instancia de Head Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12921-12926	Objeto e' uma instancia de Face Objeto Objeto e' uma instancia de Vertebrado Objeto e' uma &parte de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1738-1751	Processo e' uma instancia de ExperiencingHeatInCheeksOrChest AutonomousAgent experimenta Processo Processo Objeto Processo e' uma instancia de Percepcao Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de Torso Objeto e' uma instancia de Face Objeto e' uma &parte de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13035-13043	Processo e' uma instancia de FacialExpression Processo e' um agente de AutonomousAgent Objeto Objeto e' uma &parte de AutonomousAgent Objeto e' uma instancia de Face Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 698-715	Processo e' uma instancia de ViolentContest Objeto e' um patient de Processo InjuryCausedFn Processo e' um atributo de Objeto ImpairedBodyPartFn Airway e' um atributo de Objeto o argumento Processo e' uma sub-classe de Combustao Entidade Entidade e' uma instancia de Ferir Entidade e' situado em Entidade Entidade e' uma instancia de Face Objeto e' um patient de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12950-12955	Objeto e' uma instancia de Chin Objeto Objeto e' uma instancia de Face Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11825-11830	Objeto e' uma instancia de FacialHair Objeto Objeto e' uma instancia de Face Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11453-11458	Objeto e' uma instancia de Mouth Objeto Objeto e' uma instancia de Face Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12224-12229	Objeto e' uma instancia de Nose Objeto Objeto e' uma instancia de Face Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3143-3148	Entidade e' uma instancia de Portrait Entidade Entidade e' uma instancia de Face Entidade define Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3496-3509	Fisico e' uma instancia de ProtectiveEyewear Fisico tem por fim FisicoRSON Entidade, Entidade and Entidade FisicoRSON e' uma instancia de Animal Entidade e' uma instancia de Face Entidade e' uma instancia de Eye Entidade e' uma &parte de Entidade Entidade e' uma &parte de FisicoRSON FisicoRSON usa Fisico Entidade e' uma instancia de Cobrir Entidade e' um agente de Fisico Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5467-5477	Fisico e' uma instancia de Veil Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Face Fisico encontra Entidade Entidade e' uma instancia de Hair Fisico encontra Entidade

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1854-1854	FacialParalysis e' uma sub-classe de ParalysisFn Face
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5095-5095	Mask e' uma sub-classe de CoveringFn Face

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