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 14972-14975
(subclass BodyPart AnatomicalStructure)	Merge.kif 14971-14971	BodyPart ist eine teilkategorie von AnatomicalStructure

appearance as argument number 2

(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure)	Merge.kif 14936-14936	AnatomicalStructure wird vollstaendig in BodyPart und AbnormalAnatomicalStructure verteilt
(rangeSubclass BodyAreaFn BodyPart)	Medicine.kif 6235-6235	Die werte die BodyAreaFn zurueckgibt sind teilkategorien von BodyPart
(rangeSubclass BodySideFn BodyPart)	Merge.kif 14995-14995	Die werte die BodySideFn zurueckgibt sind teilkategorien von BodyPart
(subclass AnimalShell BodyPart)	Mid-level-ontology.kif 11525-11525	AnimalShell ist eine teilkategorie von BodyPart
(subclass Auricle BodyPart)	Anatomy.kif 1611-1611	Auricle ist eine teilkategorie von BodyPart
(subclass BodyCavity BodyPart)	Merge.kif 15120-15120	BodyCavity ist eine teilkategorie von BodyPart
(subclass BodyCovering BodyPart)	Merge.kif 15094-15094	BodyCovering ist eine teilkategorie von BodyPart
(subclass BodyJunction BodyPart)	Merge.kif 15108-15108	BodyJunction ist eine teilkategorie von BodyPart
(subclass BodySegment BodyPart)	Mid-level-ontology.kif 10571-10571	BodySegment ist eine teilkategorie von BodyPart
(subclass Bone BodyPart)	Merge.kif 15223-15223	Bone ist eine teilkategorie von BodyPart
(subclass Cell BodyPart)	Merge.kif 15128-15128	Cell ist eine teilkategorie von BodyPart
(subclass CellPart BodyPart)	Mid-level-ontology.kif 10878-10878	CellPart ist eine teilkategorie von BodyPart
(subclass Chin BodyPart)	Mid-level-ontology.kif 12918-12918	Chin ist eine teilkategorie von BodyPart
(subclass Cornea BodyPart)	Mid-level-ontology.kif 12133-12133	Cornea ist eine teilkategorie von BodyPart
(subclass DigitAppendage BodyPart)	Mid-level-ontology.kif 12481-12481	DigitAppendage ist eine teilkategorie von BodyPart
(subclass Eardrum BodyPart)	Anatomy.kif 1623-1623	Eardrum ist eine teilkategorie von BodyPart
(subclass EggYolk BodyPart)	Food.kif 2546-2546	EggYolk ist eine teilkategorie von BodyPart
(subclass Exoskeleton BodyPart)	Mid-level-ontology.kif 11669-11669	Exoskeleton ist eine teilkategorie von BodyPart
(subclass Eyebrow BodyPart)	Anatomy.kif 1434-1434	Eyebrow ist eine teilkategorie von BodyPart
(subclass Face BodyPart)	Mid-level-ontology.kif 12882-12882	Face ist eine teilkategorie von BodyPart
(subclass Feather BodyPart)	Mid-level-ontology.kif 20336-20336	Feather ist eine teilkategorie von BodyPart
(subclass Forehead BodyPart)	Anatomy.kif 1483-1483	Forehead ist eine teilkategorie von BodyPart
(subclass FrontalLobe BodyPart)	Mid-level-ontology.kif 11869-11869	FrontalLobe ist eine teilkategorie von BodyPart
(subclass Head BodyPart)	Mid-level-ontology.kif 12865-12865	Head ist eine teilkategorie von BodyPart
(subclass Hoof BodyPart)	Mid-level-ontology.kif 11457-11457	Hoof ist eine teilkategorie von BodyPart

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	Die Zahl 1 Argument von InflammationFn ist ein fall von BodyPart %n{nicht}
(domain PainFn 1 BodyPart)	Mid-level-ontology.kif 6349-6349	Die Zahl 1 Argument von PainFn ist ein fall von BodyPart %n{nicht}
(domain ParalysisFn 1 BodyPart)	Mid-level-ontology.kif 6322-6322	Die Zahl 1 Argument von ParalysisFn ist ein fall von BodyPart %n{nicht}
(domain bodyAngle 1 BodyPart)	Mid-level-ontology.kif 10702-10702	Die Zahl 1 Argument von bodyAngle ist ein fall von BodyPart %n{nicht}
(domain bodyAngle 2 BodyPart)	Mid-level-ontology.kif 10703-10703	Die Zahl 2 Argument von bodyAngle ist ein fall von BodyPart %n{nicht}
(domain sheddingBodyPart 2 BodyPart)	Geography.kif 6449-6449	Die Zahl 2 Argument von sheddingBodyPart ist ein fall von BodyPart %n{nicht}
(domainSubclass BodyAreaFn 1 BodyPart)	Medicine.kif 6234-6234	Die Zahl 1 Argument von BodyAreaFn ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass BodySideFn 2 BodyPart)	Merge.kif 14994-14994	Die Zahl 2 Argument von BodySideFn ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass CoveringFn 1 BodyPart)	Mid-level-ontology.kif 29713-29713	Die Zahl 1 Argument von CoveringFn ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass DeadOrMissingBodyPartFn 1 BodyPart)	Merge.kif 18261-18261	Die Zahl 1 Argument von DeadOrMissingBodyPartFn ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass EdemaFn 1 BodyPart)	Mid-level-ontology.kif 9978-9978	Die Zahl 1 Argument von EdemaFn ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass ImpairedBodyPartFn 1 BodyPart)	Merge.kif 18240-18240	Die Zahl 1 Argument von ImpairedBodyPartFn ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass connectedBodyPart 1 BodyPart)	Mid-level-ontology.kif 11961-11961	Die Zahl 1 Argument von connectedBodyPart ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass connectedBodyPart 2 BodyPart)	Mid-level-ontology.kif 11962-11962	Die Zahl 2 Argument von connectedBodyPart ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass connectedBodyPartTypes 1 BodyPart)	Anatomy.kif 27-27	Die Zahl 1 Argument von connectedBodyPartTypes ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass connectedBodyPartTypes 2 BodyPart)	Anatomy.kif 28-28	Die Zahl 2 Argument von connectedBodyPartTypes ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass muscleInsertion 2 BodyPart)	Anatomy.kif 1737-1737	Die Zahl 2 Argument von muscleInsertion ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass muscleOrigin 2 BodyPart)	Anatomy.kif 1687-1687	Die Zahl 2 Argument von muscleOrigin ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass suppliesBlood 2 BodyPart)	Anatomy.kif 1945-1945	Die Zahl 2 Argument von suppliesBlood ist eine teilkategorie von BodyPart %n{nicht}

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	Entity ist ein fall von BodyPart %n{nicht} und Bare ist ein attribut von Entity %n{nicht} haelt waehrend TimePosition %n{nicht} genau dann wenn es gibt nicht entity um entity ist ein fall von Clothing %n{nicht} und covers entity and Entity haelt waehrend TimePosition %n{nicht}
(=> (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	Wenn Process ist ein fall von LocalAnesthetizing %n{nicht} und Process befindet sich an %n{nicht} und Object ist ein fall von BodyPart %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein patient von Process %n{nicht}, dann PainFn Object ist ein attribut von Object nicht haelt waehrend die zeit des Bestehens von Process %n{nicht}
(=> (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	Wenn Transfer ist ein fall von Injecting %n{nicht} und Object ist ein fall von Adalimumab %n{nicht} und objectTransferred Transfer and Object und Transfer befindet sich an %n{nicht} und Object ist ein fall von BodyPart %n{nicht} und Transfer endet an Entity %n{nicht}, dann die Aussage es gibt entity um PainFn Object ist ein attribut von Entity %n{nicht} haelt waehrend entity %n{nicht} und entity geschieht waehrend nach die zeit des Bestehens von Transfer %n{nicht} hat die modale Kraft von Likely
(=> (instance ?PART BodyPart) (exists (?ORGANISM ?TIME) (and (instance ?ORGANISM Organism) (temporalPart ?TIME (WhenFn ?ORGANISM)) (holdsDuring ?TIME (component ?PART ?ORGANISM)))))	Merge.kif 14977-14983	Wenn Entity ist ein fall von BodyPart %n{nicht}, dann es gibt Physical und TimePosition um Physical ist ein fall von Organism %n{nicht} und TimePosition ist ein teil von die zeit des Bestehens von Physical %n{nicht} und Entity ist ein bestandteil von Physical %n{nicht} haelt waehrend TimePosition %n{nicht}
(=> (instance ?PART BodyPart) (exists (?PROC) (and (instance ?PROC PhysiologicProcess) (result ?PROC ?PART))))	Merge.kif 14985-14990	Wenn Entity ist ein fall von BodyPart %n{nicht}, dann es gibt Process um Process ist ein fall von PhysiologicProcess %n{nicht} und Entity ist ein resultat von ** Process %n{nicht}

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	Wenn Process ist ein fall von EdemaFn BodyPart %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt BodyPartI um BodyPartI ist ein fall von BodyPart %n{nicht} und BodyPartI ist ein teil von AutonomousAgent %n{nicht} und ** Process befindet sich an %n{nicht}
(=> (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	Wenn Process ist ein fall von Edema %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt Motion, Object, and und Object um Motion ist ein fall von Transfer %n{nicht} und Object ist ein fall von Liquid %n{nicht} und Object ist ein fall von BodyPart %n{nicht} und Object ist ein teil von AutonomousAgent %n{nicht} und Motion endet an Object %n{nicht} und moves Motion and Object und Motion ist ein subProzess von ** Process
(=> (and (instance ?MOTION BodyMotion) (moves ?MOTION ?OBJ)) (and (instance ?OBJ BodyPart) (patient ?MOTION ?OBJ)))	Merge.kif 11132-11138	Wenn Motion ist ein fall von BodyMotion %n{nicht} und moves Motion and Object, dann Object ist ein fall von BodyPart %n{nicht} und Object ist ein patient von Motion %n{nicht}
(=> (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	Wenn Process ist ein fall von PerspiringWholeBody %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt nicht Object um Object ist ein fall von BodyPart %n{nicht} und Object ist ein teil von AutonomousAgent %n{nicht} und Process endet an Object nicht
(=> (instance ?A Atrophy) (exists (?B) (and (experiencer ?A ?B) (instance ?B BodyPart))))	Mid-level-ontology.kif 6445-6450	Wenn Process ist ein fall von Atrophy %n{nicht}, dann es gibt AutonomousAgent um AutonomousAgent erfaehrt Process %n{nicht} und ** AutonomousAgent ist ein fall von BodyPart %n{nicht}
(=> (instance ?COVER BodyCovering) (exists (?BODY) (and (superficialPart ?COVER ?BODY) (or (instance ?BODY Organism) (instance ?BODY BodyPart)))))	Merge.kif 15099-15106	Wenn Object ist ein fall von BodyCovering %n{nicht}, dann es gibt Object um Object ist ein oberflaechliches teil von Object %n{nicht} und Object ist ein fall von Organism %n{nicht} oder Object ist ein fall von BodyPart %n{nicht}
(=> (instance ?JUNCT BodyJunction) (exists (?OBJ1 ?OBJ2) (and (instance ?OBJ1 BodyPart) (instance ?OBJ2 BodyPart) (connects ?JUNCT ?OBJ1 ?OBJ2))))	Merge.kif 15112-15118	Wenn Object ist ein fall von BodyJunction %n{nicht}, dann es gibt Object und Object um Object ist ein fall von BodyPart %n{nicht} und Object ist ein fall von BodyPart %n{nicht} und Object schleisst Object und ** Object an
(=> (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	Wenn Process ist ein fall von Excreting %n{nicht}, dann es gibt AutonomousAgent, Entity, and und Object um AutonomousAgent ist ein fall von Organism %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Excrement %n{nicht} und Object ist ein fall von BodyPart %n{nicht} und Object ist ein instrument fuer ** Process %n{nicht}
(=> (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	Wenn Object ist ein fall von Ulcer %n{nicht}, dann es gibt HoleRegion und Object um HoleRegion ist ein fall von HoleRegion %n{nicht} und Object ist ein fall von BodyPart %n{nicht} und Object ist gleich HoleHostFn HoleRegion %n{nicht} und Object ist ein teil von Object %n{nicht}

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: