TreeView Knowledge Base Browser - Hair

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Hair

Sigma KEE - Hair

Hair

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11781-11782
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 107-107
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11783-11783	initialPart Hair and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11780-11780	Hair e' uma sub-classe de AnimalAnatomicalStructure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11793-11793	FacialHair e' uma sub-classe de Hair
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27204-27204
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27203-27203
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27202-27202

antecedent

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

Mid-level-ontology.kif 11785-11791

Entidade e' uma instancia de Hair
Entidade Posicao Temporal Entidade e' uma instancia de Mamifero Entidade e' uma &parte de Entidade vale durante Posicao Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6461-6465	Organismo e' uma instancia de DomesticCat sheddingBodyPart Organismo and Parte do Corpo Parte do Corpo e' uma instancia de Hair
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1458-1467	Colecao e' uma instancia de Eyebrow Healthy e' um atributo de Objeto Colecao e' uma &parte de Objeto Fisico e' membro de Colecao ObjetoAIR ObjetoAIR e' uma instancia de Hair ObjetoAIR e' uma &parte de Colecao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11809-11813	Processo e' uma instancia de HairRemoval Objeto e' um recurso para Processo Objeto e' uma instancia de Hair
No TPTP formula. May not be expressible in strict first order.	naics.kif 11934-11946	BarberShops e' um atributo de Objeto Objeto tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Hair Entidade e' uma &parte de Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de Cortar Entidade e' um patient de Entidade eventLocated Entidade and Objeto Entidade e' um agente de Entidade Objeto emprega Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25385-25393	Fisico e' uma instancia de HairDryer Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Hair Entidade e' uma instancia de Secar Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5472-5482	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5404-5413	Entidade e' uma instancia de Wool Processo Objeto and Objeto Processo e' uma instancia de Fazer Entidade e' o resultado de Processo Objeto e' um recurso para Processo Objeto e' uma &parte de Objeto Objeto e' uma instancia de Hair Objeto e' uma instancia de Sheep

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