AnatomicalStructure - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AnatomicalStructure

AnatomicalStructure(anatomical structure)

Golgi_apparatus, Golgi_body, Golgi_complex, Port_Orford_cedar, XX, XXX, XXY, XY, XYY, X_chromosome, Y_chromosome, acanthoma, acentric_chromosome, acorn_cup, acrocentric_chromosome, acrosome, adenoma, adenomatous_polyp, adipose_tumor, afterbirth, agnail, allantois, amnion, amnios, amniotic_sac, amyloid_plaque, amyloid_protein_plaque, anatomical_structure, angioma, angiosarcoma, annual_ring, aplacental, apophysis, arch, archenteron, arterial_plaque, aster, autosome, axon, axone, bacterial_plaque, ball, belemnite, benign_tumor, benign_tumour, bilocular_capsule, birthmark, bistered, bistred, blackhead...

appearance as argument number 1

s__documentation(s__AnatomicalStructure,s__ChineseLanguage,'"这是 Organism 的解剖构造或结构组织的正常或病理部分。这个类别包括 BodyPart 和由 Organism 所产生的的结构如：ReproductiveBody。"')	chinese_format.kif 3488-3489
s__documentation(s__AnatomicalStructure,s__EnglishLanguage,'"A normal or pathological part of the anatomy or structural organization of an Organism. This class covers BodyParts, as well as structures that are given off by Organisms, e.g. ReproductiveBodies."')	Merge.kif 13842-13845
s__externalImage(s__AnatomicalStructure,'"http://upload.wikimedia.org/wikipedia/ commons/ 9/ 90/ Leaf_anatomy.svg"')	pictureList.kif 2103-2103
s__partition__3(s__AnatomicalStructure,s__AnimalAnatomicalStructure,s__PlantAnatomicalStructure)	Merge.kif 13841-13841	Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure
s__partition__3(s__AnatomicalStructure,s__BodyPart,s__AbnormalAnatomicalStructure)	Merge.kif 13840-13840	Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure
s__subclass(s__AnatomicalStructure,s__OrganicObject) s__instance(s__AnatomicalStructure,s__SetOrClass) s__instance(s__OrganicObject,s__SetOrClass)	Merge.kif 13839-13839	Anatomical structure is a subclass of organic object

appearance as argument number 2

s__instance(s__AbnormalAnatomicalStructure,s__SetOrClass) s__instance(s__AnatomicalStructure,s__SetOrClass) s__subclass(s__AbnormalAnatomicalStructure,s__AnatomicalStructure)	Merge.kif 13862-13862	Abnormal anatomical structure is a subclass of anatomical structure
s__instance(s__AnimalAnatomicalStructure,s__SetOrClass) s__instance(s__AnatomicalStructure,s__SetOrClass) s__subclass(s__AnimalAnatomicalStructure,s__AnatomicalStructure)	Merge.kif 13896-13896	Animal anatomical structure is a subclass of anatomical structure
s__subclass(s__BodyPart,s__AnatomicalStructure) s__instance(s__AnatomicalStructure,s__SetOrClass) s__instance(s__BodyPart,s__SetOrClass)	Merge.kif 13875-13875	Body part is a subclass of anatomical structure
s__subclass(s__PlantAnatomicalStructure,s__AnatomicalStructure) s__instance(s__PlantAnatomicalStructure,s__SetOrClass) s__instance(s__AnatomicalStructure,s__SetOrClass)	Merge.kif 13907-13907	Plant anatomical structure is a subclass of anatomical structure
s__termFormat(s__ChineseLanguage,s__AnatomicalStructure,'"解剖结构"')	chinese_format.kif 1016-1016
s__termFormat(s__EnglishLanguage,s__AnatomicalStructure,'"anatomical structure"')	english_format.kif 1249-1249

appearance as argument number 3

s__partition__3(s__OrganicObject,s__Organism,s__AnatomicalStructure)

Merge.kif 13286-13286

Organic object is exhaustively partitioned into organism and anatomical structure

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13847-13853	If an entity is an instance of anatomical structure, then there exist a physical and a time position such that the physical is an instance of organism and the time position is a part of the time of existence of the physical and the entity is a part of the physical holds during the time position
( ! [V__PART] : (s__instance(V__PART,s__AnatomicalStructure) => ( ? [V__CELL] : ((s__instance(V__CELL,s__Cell) & s__part(V__CELL,V__PART)))) ) )	Merge.kif 13855-13860	If an object is an instance of anatomical structure, then there exists another object such that the other object is an instance of cell and the other object is a part of the object

consequent

( ! [V__INJ] : (s__instance(V__INJ,s__Injuring) => ( ? [V__STRUCT] : ((s__instance(V__STRUCT,s__AnatomicalStructure) & s__patient(V__INJ,V__STRUCT)))) ) )	Merge.kif 9788-9793	If a process is an instance of injuring, then there exists an entity such that the entity is an instance of anatomical structure and the entity is a patient of the process
( ! [V__POISON] : (s__instance(V__POISON,s__Poisoning) => ( ? [V__THING] : ((s__patient(V__POISON,V__THING) & (s__instance(V__THING,s__Organism) \| s__instance(V__THING,s__AnatomicalStructure))))) ) )	Merge.kif 9811-9818	If a process is an instance of poisoning, then there exists an entity such that the entity is a patient of the process and the entity is an instance of organism or the entity is an instance of anatomical structure

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners