BodyPart - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BodyPart ChineseLanguage "这是 Organism 某个特定部位而并非病理的 Cell 和 Tissue。这个 Class 的实例的范围包括复杂 Organ 的总体结构至小部分。")	chinese_format.kif 3493-3494
(documentation BodyPart EnglishLanguage "A collection of Cells and Tissues which are localized to a specific area of an Organism and which are not pathological. The instances of this Class range from gross structures to small components of complex Organs.")	Merge.kif 14950-14953
(subclass BodyPart AnatomicalStructure)	Merge.kif 14949-14949	Parte do Corpo e' uma sub-classe de Estructura Anatomica

appearance as argument number 2

(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure)	Merge.kif 14914-14914	O conceito Estructura Anatomica e' completamente decomposto em Parte do Corpo + AbnormalAnatomicalStructure
(rangeSubclass BodyAreaFn BodyPart)	Medicine.kif 6235-6235	Os valores retornados por BodyAreaFn sao as sub-classes de Parte do Corpo
(rangeSubclass BodySideFn BodyPart)	Merge.kif 14973-14973	Os valores retornados por BodySideFn sao as sub-classes de Parte do Corpo
(subclass AnimalShell BodyPart)	Mid-level-ontology.kif 11526-11526	AnimalShell e' uma sub-classe de Parte do Corpo
(subclass Auricle BodyPart)	Anatomy.kif 1611-1611	Auricle e' uma sub-classe de Parte do Corpo
(subclass BodyCavity BodyPart)	Merge.kif 15098-15098	BodyCavity e' uma sub-classe de Parte do Corpo
(subclass BodyCovering BodyPart)	Merge.kif 15072-15072	Parte do corpo recobrindo outra e' uma sub-classe de Parte do Corpo
(subclass BodyJunction BodyPart)	Merge.kif 15086-15086	Junta de partes do corpo e' uma sub-classe de Parte do Corpo
(subclass BodySegment BodyPart)	Mid-level-ontology.kif 10572-10572	BodySegment e' uma sub-classe de Parte do Corpo
(subclass Bone BodyPart)	Merge.kif 15201-15201	Osso e' uma sub-classe de Parte do Corpo
(subclass Cell BodyPart)	Merge.kif 15106-15106	Celula e' uma sub-classe de Parte do Corpo
(subclass CellPart BodyPart)	Mid-level-ontology.kif 10879-10879	CellPart e' uma sub-classe de Parte do Corpo
(subclass Chin BodyPart)	Mid-level-ontology.kif 12919-12919	Chin e' uma sub-classe de Parte do Corpo
(subclass Cornea BodyPart)	Mid-level-ontology.kif 12134-12134	Cornea e' uma sub-classe de Parte do Corpo
(subclass DigitAppendage BodyPart)	Mid-level-ontology.kif 12482-12482	DigitAppendage e' uma sub-classe de Parte do Corpo
(subclass Eardrum BodyPart)	Anatomy.kif 1623-1623	Eardrum e' uma sub-classe de Parte do Corpo
(subclass EggYolk BodyPart)	Food.kif 2546-2546	EggYolk e' uma sub-classe de Parte do Corpo
(subclass Exoskeleton BodyPart)	Mid-level-ontology.kif 11670-11670	Exoskeleton e' uma sub-classe de Parte do Corpo
(subclass Eyebrow BodyPart)	Anatomy.kif 1434-1434	Eyebrow e' uma sub-classe de Parte do Corpo
(subclass Face BodyPart)	Mid-level-ontology.kif 12883-12883	Face e' uma sub-classe de Parte do Corpo
(subclass Feather BodyPart)	Mid-level-ontology.kif 20337-20337	Feather e' uma sub-classe de Parte do Corpo
(subclass Forehead BodyPart)	Anatomy.kif 1483-1483	Forehead e' uma sub-classe de Parte do Corpo
(subclass FrontalLobe BodyPart)	Mid-level-ontology.kif 11870-11870	FrontalLobe e' uma sub-classe de Parte do Corpo
(subclass Head BodyPart)	Mid-level-ontology.kif 12866-12866	Head e' uma sub-classe de Parte do Corpo
(subclass Hoof BodyPart)	Mid-level-ontology.kif 11458-11458	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

(domain InflammationFn 1 BodyPart)	Mid-level-ontology.kif 12409-12409	O argumento numero 1 de InflammationFn e' uma instancia de Parte do Corpo
(domain PainFn 1 BodyPart)	Mid-level-ontology.kif 6350-6350	O argumento numero 1 de PainFn e' uma instancia de Parte do Corpo
(domain ParalysisFn 1 BodyPart)	Mid-level-ontology.kif 6323-6323	O argumento numero 1 de ParalysisFn e' uma instancia de Parte do Corpo
(domain bodyAngle 1 BodyPart)	Mid-level-ontology.kif 10703-10703	O argumento numero 1 de bodyAngle e' uma instancia de Parte do Corpo
(domain bodyAngle 2 BodyPart)	Mid-level-ontology.kif 10704-10704	O argumento numero 2 de bodyAngle e' uma instancia de Parte do Corpo
(domain sheddingBodyPart 2 BodyPart)	Geography.kif 6449-6449	O argumento numero 2 de sheddingBodyPart e' uma instancia de Parte do Corpo
(domainSubclass BodyAreaFn 1 BodyPart)	Medicine.kif 6234-6234	O argumento numero 1 de BodyAreaFn e' uma sub-classe de Parte do Corpo
(domainSubclass BodySideFn 2 BodyPart)	Merge.kif 14972-14972	O argumento numero 2 de BodySideFn e' uma sub-classe de Parte do Corpo
(domainSubclass CoveringFn 1 BodyPart)	Mid-level-ontology.kif 29725-29725	O argumento numero 1 de CoveringFn e' uma sub-classe de Parte do Corpo
(domainSubclass DeadOrMissingBodyPartFn 1 BodyPart)	Merge.kif 18239-18239	O argumento numero 1 de DeadOrMissingBodyPartFn e' uma sub-classe de Parte do Corpo
(domainSubclass EdemaFn 1 BodyPart)	Mid-level-ontology.kif 9979-9979	O argumento numero 1 de EdemaFn e' uma sub-classe de Parte do Corpo
(domainSubclass ImpairedBodyPartFn 1 BodyPart)	Merge.kif 18218-18218	O argumento numero 1 de ImpairedBodyPartFn e' uma sub-classe de Parte do Corpo
(domainSubclass connectedBodyPart 1 BodyPart)	Mid-level-ontology.kif 11962-11962	O argumento numero 1 de connectedBodyPart e' uma sub-classe de Parte do Corpo
(domainSubclass connectedBodyPart 2 BodyPart)	Mid-level-ontology.kif 11963-11963	O argumento numero 2 de connectedBodyPart e' uma sub-classe de Parte do Corpo
(domainSubclass connectedBodyPartTypes 1 BodyPart)	Anatomy.kif 27-27	O argumento numero 1 de connectedBodyPartTypes e' uma sub-classe de Parte do Corpo
(domainSubclass connectedBodyPartTypes 2 BodyPart)	Anatomy.kif 28-28	O argumento numero 2 de connectedBodyPartTypes e' uma sub-classe de Parte do Corpo
(domainSubclass muscleInsertion 2 BodyPart)	Anatomy.kif 1737-1737	O argumento numero 2 de muscleInsertion e' uma sub-classe de Parte do Corpo
(domainSubclass muscleOrigin 2 BodyPart)	Anatomy.kif 1687-1687	O argumento numero 2 de muscleOrigin e' uma sub-classe de Parte do Corpo
(domainSubclass suppliesBlood 2 BodyPart)	Anatomy.kif 1945-1945	O argumento numero 2 de suppliesBlood e' uma sub-classe de Parte do Corpo

antecedent

(<=> (and (instance ?B BodyPart) (holdsDuring ?T (attribute ?B Bare))) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?B))))))	Mid-level-ontology.kif 30178-30188	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
(=> (and (instance ?A LocalAnesthetizing) (located ?A ?BP) (instance ?BP BodyPart) (part ?BP ?P) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (not (attribute ?P (PainFn ?BP)))))	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
(=> (and (instance ?I Injecting) (instance ?A Adalimumab) (objectTransferred ?I ?A) (located ?I ?BP) (instance ?BP BodyPart) (destination ?I ?H)) (modalAttribute (exists (?T) (and (holdsDuring ?T (attribute ?H (PainFn ?BP))) (during ?T (FutureFn (WhenFn ?I))))) Likely))	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
(=> (instance ?PART BodyPart) (exists (?ORGANISM ?TIME) (and (instance ?ORGANISM Organism) (temporalPart ?TIME (WhenFn ?ORGANISM)) (holdsDuring ?TIME (component ?PART ?ORGANISM)))))	Merge.kif 14955-14961	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
(=> (instance ?PART BodyPart) (exists (?PROC) (and (instance ?PROC PhysiologicProcess) (result ?PROC ?PART))))	Merge.kif 14963-14968	Entidade e' uma instancia de Parte do Corpo Processo Processo e' uma instancia de Processo Fisiologico Entidade e' o resultado de Processo

consequent

(=> (and (instance ?E (EdemaFn ?P)) (experiencer ?E ?A)) (exists (?PI) (and (instance ?PI BodyPart) (part ?PI ?A) (located ?E ?PI))))	Mid-level-ontology.kif 9986-9994	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
(=> (and (instance ?E Edema) (experiencer ?E ?A)) (exists (?T ?P ?L) (and (instance ?T Transfer) (instance ?L Liquid) (instance ?P BodyPart) (part ?P ?A) (destination ?T ?P) (moves ?T ?L) (subProcess ?T ?E))))	Mid-level-ontology.kif 9964-9976	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
(=> (and (instance ?MOTION BodyMotion) (moves ?MOTION ?OBJ)) (and (instance ?OBJ BodyPart) (patient ?MOTION ?OBJ)))	Merge.kif 11110-11116	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
(=> (and (instance ?P PerspiringWholeBody) (experiencer ?P ?A)) (not (exists (?B) (and (instance ?B BodyPart) (part ?B ?A) (not (destination ?P ?B))))))	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
(=> (instance ?A Atrophy) (exists (?B) (and (experiencer ?A ?B) (instance ?B BodyPart))))	Mid-level-ontology.kif 6446-6451	Processo e' uma instancia de Atrophy AutonomousAgent AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de Parte do Corpo
(=> (instance ?COVER BodyCovering) (exists (?BODY) (and (superficialPart ?COVER ?BODY) (or (instance ?BODY Organism) (instance ?BODY BodyPart)))))	Merge.kif 15077-15084	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
(=> (instance ?JUNCT BodyJunction) (exists (?OBJ1 ?OBJ2) (and (instance ?OBJ1 BodyPart) (instance ?OBJ2 BodyPart) (connects ?JUNCT ?OBJ1 ?OBJ2))))	Merge.kif 15090-15096	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
(=> (instance ?PROC Excreting) (exists (?ORG ?WASTE ?PART) (and (instance ?ORG Organism) (agent ?PROC ?ORG) (patient ?PROC ?WASTE) (instance ?WASTE Excrement) (instance ?PART BodyPart) (instrument ?PROC ?PART))))	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
(=> (instance ?U Ulcer) (exists (?H ?BP) (and (instance ?H HoleRegion) (instance ?BP BodyPart) (equal ?BP (HoleHostFn ?H)) (part ?BP ?U))))	Mid-level-ontology.kif 9424-9431	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: