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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3488-3489
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14986-14989
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2101-2101
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14985-14985	Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14984-14984	Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14983-14983	Anatomical structure is a subclass of organic object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15006-15006	Abnormal anatomical structure is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15066-15066	Animal anatomical structure is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15019-15019	Body part is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15077-15077	Plant anatomical structure is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1016-1016	Plant anatomical structure is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1244-1244	Plant anatomical structure is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	french_format.kif 694-694	Plant anatomical structure is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 225-225	Plant anatomical structure is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 228-228	Plant anatomical structure is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2377-2377	Plant anatomical structure is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 646-646	Plant anatomical structure is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 263-263	Plant anatomical structure is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 522-522	Plant anatomical structure is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 715-715	Plant anatomical structure is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 229-229	Plant anatomical structure is a subclass of anatomical structure

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Merge.kif 14418-14418

Organic object is exhaustively partitioned into organism and anatomical structure

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6480-6491	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14991-14997	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14999-15004	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

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5473-5480	If a kind of object is equal to Object made from a kind of organic object and a kind of 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10492-10497	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5228-5239	If an entity is an instance of AnimalProduct, 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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5406-5417	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10522-10529	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 3.0 is open source software produced by Articulate Software and its partners