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 14996-14999
(subclass BodyPart AnatomicalStructure)	Merge.kif 14995-14995	BodyPart ist eine teilkategorie von AnatomicalStructure

appearance as argument number 2

(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure)	Merge.kif 14960-14960	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 15019-15019	Die werte die BodySideFn zurueckgibt sind teilkategorien von BodyPart
(subclass AnimalShell BodyPart)	Mid-level-ontology.kif 11553-11553	AnimalShell ist eine teilkategorie von BodyPart
(subclass Auricle BodyPart)	Anatomy.kif 1611-1611	Auricle ist eine teilkategorie von BodyPart
(subclass BodyCavity BodyPart)	Merge.kif 15144-15144	BodyCavity ist eine teilkategorie von BodyPart
(subclass BodyCovering BodyPart)	Merge.kif 15118-15118	BodyCovering ist eine teilkategorie von BodyPart
(subclass BodyJunction BodyPart)	Merge.kif 15132-15132	BodyJunction ist eine teilkategorie von BodyPart
(subclass BodySegment BodyPart)	Mid-level-ontology.kif 10599-10599	BodySegment ist eine teilkategorie von BodyPart
(subclass Bone BodyPart)	Merge.kif 15247-15247	Bone ist eine teilkategorie von BodyPart
(subclass Cell BodyPart)	Merge.kif 15152-15152	Cell ist eine teilkategorie von BodyPart
(subclass CellPart BodyPart)	Mid-level-ontology.kif 10906-10906	CellPart ist eine teilkategorie von BodyPart
(subclass Chin BodyPart)	Mid-level-ontology.kif 12946-12946	Chin ist eine teilkategorie von BodyPart
(subclass Cornea BodyPart)	Mid-level-ontology.kif 12161-12161	Cornea ist eine teilkategorie von BodyPart
(subclass DigitAppendage BodyPart)	Mid-level-ontology.kif 12509-12509	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 11697-11697	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 12910-12910	Face ist eine teilkategorie von BodyPart
(subclass Feather BodyPart)	Mid-level-ontology.kif 20364-20364	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 11897-11897	FrontalLobe ist eine teilkategorie von BodyPart
(subclass Head BodyPart)	Mid-level-ontology.kif 12893-12893	Head ist eine teilkategorie von BodyPart
(subclass Hoof BodyPart)	Mid-level-ontology.kif 11485-11485	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 12436-12436	Die Zahl 1 Argument von InflammationFn ist ein fall von BodyPart %n{nicht}
(domain PainFn 1 BodyPart)	Mid-level-ontology.kif 6344-6344	Die Zahl 1 Argument von PainFn ist ein fall von BodyPart %n{nicht}
(domain ParalysisFn 1 BodyPart)	Mid-level-ontology.kif 6317-6317	Die Zahl 1 Argument von ParalysisFn ist ein fall von BodyPart %n{nicht}
(domain bodyAngle 1 BodyPart)	Mid-level-ontology.kif 10730-10730	Die Zahl 1 Argument von bodyAngle ist ein fall von BodyPart %n{nicht}
(domain bodyAngle 2 BodyPart)	Mid-level-ontology.kif 10731-10731	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 15018-15018	Die Zahl 2 Argument von BodySideFn ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass CoveringFn 1 BodyPart)	Mid-level-ontology.kif 29776-29776	Die Zahl 1 Argument von CoveringFn ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass DeadOrMissingBodyPartFn 1 BodyPart)	Merge.kif 18318-18318	Die Zahl 1 Argument von DeadOrMissingBodyPartFn ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass EdemaFn 1 BodyPart)	Mid-level-ontology.kif 10006-10006	Die Zahl 1 Argument von EdemaFn ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass ImpairedBodyPartFn 1 BodyPart)	Merge.kif 18297-18297	Die Zahl 1 Argument von ImpairedBodyPartFn ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass connectedBodyPart 1 BodyPart)	Mid-level-ontology.kif 11989-11989	Die Zahl 1 Argument von connectedBodyPart ist eine teilkategorie von BodyPart %n{nicht}
(domainSubclass connectedBodyPart 2 BodyPart)	Mid-level-ontology.kif 11990-11990	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 30202-30212	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 15001-15007	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 15009-15014	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 10013-10021	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 9991-10003	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 11144-11150	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 6440-6445	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 15123-15130	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 15136-15142	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 2111-2120	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 9451-9458	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: