TreeView Knowledge Base Browser - AnatomicalStructure

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

AnatomicalStructure

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

(documentation AnatomicalStructure ChineseLanguage "这是 Organism 的解剖构造或结构组织的正常或病理部分。这个类别包括 BodyPart 和由 Organism 所产生的的结构如：ReproductiveBody。")	chinese_format.kif 3488-3489
(documentation AnatomicalStructure 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 13852-13855
(externalImage AnatomicalStructure "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 90/ Leaf_anatomy.svg")	pictureList.kif 2103-2103
(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure)	Merge.kif 13851-13851	Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure
(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure)	Merge.kif 13850-13850	Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure
(subclass AnatomicalStructure OrganicObject)	Merge.kif 13849-13849	Anatomical structure is a subclass of organic object

appearance as argument number 2

(subclass AbnormalAnatomicalStructure AnatomicalStructure)	Merge.kif 13872-13872	Abnormal anatomical structure is a subclass of anatomical structure
(subclass AnimalAnatomicalStructure AnatomicalStructure)	Merge.kif 13906-13906	Animal anatomical structure is a subclass of anatomical structure
(subclass BodyPart AnatomicalStructure)	Merge.kif 13885-13885	Body part is a subclass of anatomical structure
(subclass PlantAnatomicalStructure AnatomicalStructure)	Merge.kif 13917-13917	Plant anatomical structure is a subclass of anatomical structure
(termFormat ChineseLanguage AnatomicalStructure "解剖结构")	chinese_format.kif 1016-1016
(termFormat EnglishLanguage AnatomicalStructure "anatomical structure")	english_format.kif 1249-1249

appearance as argument number 3

(partition OrganicObject Organism AnatomicalStructure)

Merge.kif 13296-13296

Organic object is exhaustively partitioned into organism and anatomical structure

antecedent

(=> (instance ?ANAT AnatomicalStructure) (exists (?ORGANISM ?TIME) (and (instance ?ORGANISM Organism) (temporalPart ?TIME (WhenFn ?ORGANISM)) (holdsDuring ?TIME (part ?ANAT ?ORGANISM)))))	Merge.kif 13857-13863	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
(=> (instance ?PART AnatomicalStructure) (exists (?CELL) (and (instance ?CELL Cell) (part ?CELL ?PART))))	Merge.kif 13865-13870	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

(=> (instance ?INJ Injuring) (exists (?STRUCT) (and (instance ?STRUCT AnatomicalStructure) (patient ?INJ ?STRUCT))))	Merge.kif 9798-9803	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
(=> (instance ?POISON Poisoning) (exists (?THING) (and (patient ?POISON ?THING) (or (instance ?THING Organism) (instance ?THING AnatomicalStructure)))))	Merge.kif 9821-9828	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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners