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 14950-14953
(subclass BodyPart AnatomicalStructure)	Merge.kif 14949-14949	BodyPart ist eine teilkategorie von AnatomicalStructure

appearance as argument number 2

(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure)	Merge.kif 14914-14914	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 14973-14973	Die werte die BodySideFn zurueckgibt sind teilkategorien von BodyPart
(subclass AnimalShell BodyPart)	Mid-level-ontology.kif 11526-11526	AnimalShell ist eine teilkategorie von BodyPart
(subclass Auricle BodyPart)	Anatomy.kif 1611-1611	Auricle ist eine teilkategorie von BodyPart
(subclass BodyCavity BodyPart)	Merge.kif 15098-15098	BodyCavity ist eine teilkategorie von BodyPart
(subclass BodyCovering BodyPart)	Merge.kif 15072-15072	BodyCovering ist eine teilkategorie von BodyPart
(subclass BodyJunction BodyPart)	Merge.kif 15086-15086	BodyJunction ist eine teilkategorie von BodyPart
(subclass BodySegment BodyPart)	Mid-level-ontology.kif 10572-10572	BodySegment ist eine teilkategorie von BodyPart
(subclass Bone BodyPart)	Merge.kif 15201-15201	Bone ist eine teilkategorie von BodyPart
(subclass Cell BodyPart)	Merge.kif 15106-15106	Cell ist eine teilkategorie von BodyPart
(subclass CellPart BodyPart)	Mid-level-ontology.kif 10879-10879	CellPart ist eine teilkategorie von BodyPart
(subclass Chin BodyPart)	Mid-level-ontology.kif 12919-12919	Chin ist eine teilkategorie von BodyPart
(subclass Cornea BodyPart)	Mid-level-ontology.kif 12134-12134	Cornea ist eine teilkategorie von BodyPart
(subclass DigitAppendage BodyPart)	Mid-level-ontology.kif 12482-12482	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 11670-11670	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 12883-12883	Face ist eine teilkategorie von BodyPart
(subclass Feather BodyPart)	Mid-level-ontology.kif 20337-20337	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 11870-11870	FrontalLobe ist eine teilkategorie von BodyPart
(subclass Head BodyPart)	Mid-level-ontology.kif 12866-12866	Head ist eine teilkategorie von BodyPart
(subclass Hoof BodyPart)	Mid-level-ontology.kif 11458-11458	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 12409-12409	Die Zahl 1 Argument von InflammationFn ist ein fall von BodyPart %n{nicht}
(domain PainFn 1 BodyPart)	Mid-level-ontology.kif 6350-6350	Die Zahl 1 Argument von PainFn ist ein fall von BodyPart %n{nicht}
(domain ParalysisFn 1 BodyPart)	Mid-level-ontology.kif 6323-6323	Die Zahl 1 Argument von ParalysisFn ist ein fall von BodyPart %n{nicht}
(domain bodyAngle 1 BodyPart)	Mid-level-ontology.kif 10703-10703	Die Zahl 1 Argument von bodyAngle ist ein fall von BodyPart %n{nicht}
(domain bodyAngle 2 BodyPart)	Mid-level-ontology.kif 10704-10704	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 14972-14972	Die Zahl 2 Argument von BodySideFn ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass CoveringFn 1 BodyPart)	Mid-level-ontology.kif 29725-29725	Die Zahl 1 Argument von CoveringFn ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass DeadOrMissingBodyPartFn 1 BodyPart)	Merge.kif 18239-18239	Die Zahl 1 Argument von DeadOrMissingBodyPartFn ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass EdemaFn 1 BodyPart)	Mid-level-ontology.kif 9979-9979	Die Zahl 1 Argument von EdemaFn ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass ImpairedBodyPartFn 1 BodyPart)	Merge.kif 18218-18218	Die Zahl 1 Argument von ImpairedBodyPartFn ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass connectedBodyPart 1 BodyPart)	Mid-level-ontology.kif 11962-11962	Die Zahl 1 Argument von connectedBodyPart ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass connectedBodyPart 2 BodyPart)	Mid-level-ontology.kif 11963-11963	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 30178-30188	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 14955-14961	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 14963-14968	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 9986-9994	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 9964-9976	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 11110-11116	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 6446-6451	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 15077-15084	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 15090-15096	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 9424-9431	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 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: