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 15091-15094
(externalImage AnatomicalStructure "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 90/ Leaf_anatomy.svg")	pictureList.kif 2101-2101
(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure)	Merge.kif 15090-15090	Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure
(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure)	Merge.kif 15089-15089	Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure
(subclass AnatomicalStructure OrganicObject)	Merge.kif 15088-15088	Anatomical structure is a subclass of organic object

appearance as argument number 2

(subclass AbnormalAnatomicalStructure AnatomicalStructure)	Merge.kif 15111-15111	Abnormal anatomical structure is a subclass of anatomical structure
(subclass AnimalAnatomicalStructure AnatomicalStructure)	Merge.kif 15171-15171	Animal anatomical structure is a subclass of anatomical structure
(subclass BodyPart AnatomicalStructure)	Merge.kif 15124-15124	Body part is a subclass of anatomical structure
(subclass PlantAnatomicalStructure AnatomicalStructure)	Merge.kif 15182-15182	Plant anatomical structure is a subclass of anatomical structure
(termFormat ChineseLanguage AnatomicalStructure "解剖结构")	chinese_format.kif 1016-1016	Plant anatomical structure is a subclass of anatomical structure
(termFormat EnglishLanguage AnatomicalStructure "anatomical structure")	english_format.kif 1244-1244	Plant anatomical structure is a subclass of anatomical structure
(termFormat FrenchLanguage AnatomicalStructure "structure anatomique")	french_format.kif 694-694	Plant anatomical structure is a subclass of anatomical structure
(termFormat Hindi AnatomicalStructure "shaarIrika sanrachanaa")	terms-hindi.txt 225-225	Plant anatomical structure is a subclass of anatomical structure
(termFormat ItalianLanguage AnatomicalStructure "StrutturaAnatomica")	terms-it.txt 228-228	Plant anatomical structure is a subclass of anatomical structure
(termFormat JapaneseLanguage AnatomicalStructure "解剖学的構造")	japanese_format.kif 2377-2377	Plant anatomical structure is a subclass of anatomical structure
(termFormat PortugueseLanguage AnatomicalStructure "Estructura Anatomica")	portuguese_format.kif 646-646	Plant anatomical structure is a subclass of anatomical structure
(termFormat cz AnatomicalStructure "anatomical structure")	terms-cz.txt 263-263	Plant anatomical structure is a subclass of anatomical structure
(termFormat de AnatomicalStructure "anatomische Struktur")	terms-de.txt 522-522	Plant anatomical structure is a subclass of anatomical structure
(termFormat ro AnatomicalStructure "structurã anatomicã")	relations-ro.kif 715-715	Plant anatomical structure is a subclass of anatomical structure
(termFormat tg AnatomicalStructure "kaanyuan ng katawan")	terms-tg.txt 229-229	Plant anatomical structure is a subclass of anatomical structure

appearance as argument number 3

(partition OrganicObject Organism AnatomicalStructure)

Merge.kif 14523-14523

Organic object is exhaustively partitioned into organism and anatomical structure

antecedent

(=> (and (instance ?REL SheddingPart) (?REL ?O ?P) (instance ?O Organism) (instance ?P AnatomicalStructure) (part ?P ?O)) (exists (?R) (and (instance ?R Removing) (origin ?R ?O) (patient ?R ?P))))	Geography.kif 8027-8038	If an entity is an instance of shedding part and the entity an object and another object and the object is an instance of organism and the other object is an instance of anatomical structure and the other object is a part of the object, then there exists a process such that the process is an instance of removing and the process originates at the object and the other object is a patient of the process
(=> (instance ?ANAT AnatomicalStructure) (exists (?ORGANISM ?TIME) (and (instance ?ORGANISM Organism) (temporalPart ?TIME (WhenFn ?ORGANISM)) (holdsDuring ?TIME (part ?ANAT ?ORGANISM)))))	Merge.kif 15096-15102	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 15104-15109	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

(=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (or (subclass ?ORG Organism) (subclass ?ORG AnatomicalStructure)))	Economy.kif 5594-5601	If equal an object and Object made from a kind of organic object and the object is a subclass of object, then a kind of organic object is a subclass of organism or the kind of organic object is a subclass of anatomical structure
(=> (instance ?INJ Injuring) (exists (?STRUCT) (and (instance ?STRUCT AnatomicalStructure) (patient ?INJ ?STRUCT))))	Merge.kif 10593-10598	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 ?P AnimalProduct) (exists (?M ?A ?B) (and (instance ?M Manufacture) (result ?M ?P) (patient ?M ?A) (or (instance ?A Animal) (and (part ?B ?A) (instance ?B AnatomicalStructure))))))	Economy.kif 5349-5360	If an entity is an instance of animal product, then there exist a process, an object and another object such that the process is an instance of manufacture and the entity is a result of the process and the object is a patient of the process and the object is an instance of animal or the other object is a part of the object and the other object is an instance of anatomical structure
(=> (instance ?P PlantProduct) (exists (?M ?A ?B) (and (instance ?M Manufacture) (result ?M ?P) (patient ?M ?A) (or (instance ?A Plant) (and (part ?B ?A) (instance ?B AnatomicalStructure))))))	Economy.kif 5527-5538	If an entity is an instance of plant product, then there exist a process, an object and another object such that the process is an instance of manufacture and the entity is a result of the process and the object is a patient of the process and the object is an instance of plant or the other object is a part of the object and the other object is an instance of anatomical structure
(=> (instance ?POISON Poisoning) (exists (?THING) (and (patient ?POISON ?THING) (or (instance ?THING Organism) (instance ?THING AnatomicalStructure)))))	Merge.kif 10623-10630	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 3.0 is open source software produced by Articulate Software and its partners