TreeView 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 14972-14975
(subclass BodyPart AnatomicalStructure)	Merge.kif 14971-14971	Parte do Corpo e' uma sub-classe de Estructura Anatomica

appearance as argument number 2

(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure)	Merge.kif 14936-14936	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 14995-14995	Os valores retornados por BodySideFn sao as sub-classes de Parte do Corpo
(subclass AnimalShell BodyPart)	Mid-level-ontology.kif 11525-11525	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 15120-15120	BodyCavity e' uma sub-classe de Parte do Corpo
(subclass BodyCovering BodyPart)	Merge.kif 15094-15094	Parte do corpo recobrindo outra e' uma sub-classe de Parte do Corpo
(subclass BodyJunction BodyPart)	Merge.kif 15108-15108	Junta de partes do corpo e' uma sub-classe de Parte do Corpo
(subclass BodySegment BodyPart)	Mid-level-ontology.kif 10571-10571	BodySegment e' uma sub-classe de Parte do Corpo
(subclass Bone BodyPart)	Merge.kif 15223-15223	Osso e' uma sub-classe de Parte do Corpo
(subclass Cell BodyPart)	Merge.kif 15128-15128	Celula e' uma sub-classe de Parte do Corpo
(subclass CellPart BodyPart)	Mid-level-ontology.kif 10878-10878	CellPart e' uma sub-classe de Parte do Corpo
(subclass Chin BodyPart)	Mid-level-ontology.kif 12918-12918	Chin e' uma sub-classe de Parte do Corpo
(subclass Cornea BodyPart)	Mid-level-ontology.kif 12133-12133	Cornea e' uma sub-classe de Parte do Corpo
(subclass DigitAppendage BodyPart)	Mid-level-ontology.kif 12481-12481	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 11669-11669	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 12882-12882	Face e' uma sub-classe de Parte do Corpo
(subclass Feather BodyPart)	Mid-level-ontology.kif 20336-20336	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 11869-11869	FrontalLobe e' uma sub-classe de Parte do Corpo
(subclass Head BodyPart)	Mid-level-ontology.kif 12865-12865	Head e' uma sub-classe de Parte do Corpo
(subclass Hoof BodyPart)	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

(domain InflammationFn 1 BodyPart)	Mid-level-ontology.kif 12408-12408	O argumento numero 1 de InflammationFn e' uma instancia de Parte do Corpo
(domain PainFn 1 BodyPart)	Mid-level-ontology.kif 6349-6349	O argumento numero 1 de PainFn e' uma instancia de Parte do Corpo
(domain ParalysisFn 1 BodyPart)	Mid-level-ontology.kif 6322-6322	O argumento numero 1 de ParalysisFn e' uma instancia de Parte do Corpo
(domain bodyAngle 1 BodyPart)	Mid-level-ontology.kif 10702-10702	O argumento numero 1 de bodyAngle e' uma instancia de Parte do Corpo
(domain bodyAngle 2 BodyPart)	Mid-level-ontology.kif 10703-10703	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 14994-14994	O argumento numero 2 de BodySideFn e' uma sub-classe de Parte do Corpo
(domainSubclass CoveringFn 1 BodyPart)	Mid-level-ontology.kif 29713-29713	O argumento numero 1 de CoveringFn e' uma sub-classe de Parte do Corpo
(domainSubclass DeadOrMissingBodyPartFn 1 BodyPart)	Merge.kif 18261-18261	O argumento numero 1 de DeadOrMissingBodyPartFn e' uma sub-classe de Parte do Corpo
(domainSubclass EdemaFn 1 BodyPart)	Mid-level-ontology.kif 9978-9978	O argumento numero 1 de EdemaFn e' uma sub-classe de Parte do Corpo
(domainSubclass ImpairedBodyPartFn 1 BodyPart)	Merge.kif 18240-18240	O argumento numero 1 de ImpairedBodyPartFn e' uma sub-classe de Parte do Corpo
(domainSubclass connectedBodyPart 1 BodyPart)	Mid-level-ontology.kif 11961-11961	O argumento numero 1 de connectedBodyPart e' uma sub-classe de Parte do Corpo
(domainSubclass connectedBodyPart 2 BodyPart)	Mid-level-ontology.kif 11962-11962	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 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
(=> (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 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
(=> (instance ?PART BodyPart) (exists (?PROC) (and (instance ?PROC PhysiologicProcess) (result ?PROC ?PART))))	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

(=> (and (instance ?E (EdemaFn ?P)) (experiencer ?E ?A)) (exists (?PI) (and (instance ?PI BodyPart) (part ?PI ?A) (located ?E ?PI))))	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
(=> (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 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
(=> (and (instance ?MOTION BodyMotion) (moves ?MOTION ?OBJ)) (and (instance ?OBJ BodyPart) (patient ?MOTION ?OBJ)))	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
(=> (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 6445-6450	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 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
(=> (instance ?JUNCT BodyJunction) (exists (?OBJ1 ?OBJ2) (and (instance ?OBJ1 BodyPart) (instance ?OBJ2 BodyPart) (connects ?JUNCT ?OBJ1 ?OBJ2))))	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
(=> (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 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 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

KB Term:			Term intersection

English Word: