BodyPart - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3493-3494
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14972-14975
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14971-14971	Parte do Corpo e' uma sub-classe de Estructura Anatomica

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14936-14936	O conceito Estructura Anatomica e' completamente decomposto em Parte do Corpo + AbnormalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6235-6235	Os valores retornados por BodyAreaFn sao as sub-classes de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14995-14995	Os valores retornados por BodySideFn sao as sub-classes de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11525-11525	AnimalShell e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1611-1611	Auricle e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15120-15120	BodyCavity e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15094-15094	Parte do corpo recobrindo outra e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15108-15108	Junta de partes do corpo e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10571-10571	BodySegment e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15223-15223	Osso e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15128-15128	Celula e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10878-10878	CellPart e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12918-12918	Chin e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12133-12133	Cornea e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12481-12481	DigitAppendage e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1623-1623	Eardrum e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Food.kif 2546-2546	EggYolk e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11669-11669	Exoskeleton e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1434-1434	Eyebrow e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12882-12882	Face e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20336-20336	Feather e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1483-1483	Forehead e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11869-11869	FrontalLobe e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12865-12865	Head e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11457-11457	Hoof e' uma sub-classe de Parte do Corpo

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12408-12408	O argumento numero 1 de InflammationFn e' uma instancia de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6349-6349	O argumento numero 1 de PainFn e' uma instancia de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6322-6322	O argumento numero 1 de ParalysisFn e' uma instancia de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10702-10702	O argumento numero 1 de bodyAngle e' uma instancia de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10703-10703	O argumento numero 2 de bodyAngle e' uma instancia de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6449-6449	O argumento numero 2 de sheddingBodyPart e' uma instancia de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6234-6234	O argumento numero 1 de BodyAreaFn e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14994-14994	O argumento numero 2 de BodySideFn e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29713-29713	O argumento numero 1 de CoveringFn e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18261-18261	O argumento numero 1 de DeadOrMissingBodyPartFn e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9978-9978	O argumento numero 1 de EdemaFn e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18240-18240	O argumento numero 1 de ImpairedBodyPartFn e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11961-11961	O argumento numero 1 de connectedBodyPart e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11962-11962	O argumento numero 2 de connectedBodyPart e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 27-27	O argumento numero 1 de connectedBodyPartTypes e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 28-28	O argumento numero 2 de connectedBodyPartTypes e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1737-1737	O argumento numero 2 de muscleInsertion e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1687-1687	O argumento numero 2 de muscleOrigin e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1945-1945	O argumento numero 2 de suppliesBlood e' uma sub-classe de Parte do Corpo

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30166-30176	Entidade e' uma instancia de Parte do Corpo Bare e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa covers Entidade and Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1008-1019	Processo e' uma instancia de LocalAnesthetizing Processo e' situado em Objeto Objeto e' uma instancia de Parte do Corpo Objeto e' uma &parte de Objeto Objeto e' um patient de Processo PainFn Objeto e' um atributo de Objeto vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3628-3644	Transferencia e' uma instancia de Injecting Objeto e' uma instancia de Adalimumab objectTransferred Transferencia and Objeto Transferencia e' situado em Objeto Objeto e' uma instancia de Parte do Corpo Transferencia termina em Entidade o argumento Entidade PainFn Objeto e' um atributo de Entidade vale durante Entidade Entidade acontece durante apos tempo de existencia de Transferencia tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14977-14983	Entidade e' uma instancia de Parte do Corpo Fisico Posicao Temporal Fisico e' uma instancia de Organismo Posicao Temporal e' uma &parte de tempo de existencia de Fisico Entidade e' um componente de Fisico vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14985-14990	Entidade e' uma instancia de Parte do Corpo Processo Processo e' uma instancia de Processo Fisiologico Entidade e' o resultado de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9985-9993	Processo e' uma instancia de EdemaFn Parte do Corpo AutonomousAgent experimenta Processo Parte do CorpoI Parte do CorpoI e' uma instancia de Parte do Corpo Parte do CorpoI e' uma &parte de AutonomousAgent Processo e' situado em Parte do CorpoI
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9963-9975	Processo e' uma instancia de Edema AutonomousAgent experimenta Processo Movimento Objeto and Objeto Movimento e' uma instancia de Transferencia Objeto e' uma instancia de Liquid Objeto e' uma instancia de Parte do Corpo Objeto e' uma &parte de AutonomousAgent Movimento termina em Objeto moves Movimento and Objeto Movimento e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11132-11138	Movimento e' uma instancia de Movimento do Corpo moves Movimento and Objeto Objeto e' uma instancia de Parte do Corpo Objeto e' um patient de Movimento
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1505-1515	Processo e' uma instancia de PerspiringWholeBody AutonomousAgent experimenta Processo Objeto Objeto e' uma instancia de Parte do Corpo Objeto e' uma &parte de AutonomousAgent Processo nao %n termina %n em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6445-6450	Processo e' uma instancia de Atrophy AutonomousAgent AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15099-15106	Objeto e' uma instancia de parte do corpo recobrindo outra Objeto Objeto e' uma parte superficial de Objeto Objeto e' uma instancia de Organismo Objeto e' uma instancia de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15112-15118	Objeto e' uma instancia de junta de partes do corpo Objeto Objeto Objeto e' uma instancia de Parte do Corpo Objeto e' uma instancia de Parte do Corpo Objeto conecta Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2118-2127	Processo e' uma instancia de Excreting AutonomousAgent Entidade and Objeto AutonomousAgent e' uma instancia de Organismo Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de Excrement Objeto e' uma instancia de Parte do Corpo Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9423-9430	Objeto e' uma instancia de Ulcer Buraco Objeto Buraco e' uma instancia de Buraco Objeto e' uma instancia de Parte do Corpo Objeto e' igual a o dono do buraco Buraco Objeto e' uma &parte de Objeto

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

KB Term:			Term intersection

English Word: