Tissue - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Tissue

Tissue(tissue)

Andaman_redwood, Bowman's_capsule, Cebu_maguey, New_Zealand_cotton, Panama_redwood, Philippine_mahogany, SA_node, Turkish_boxwood, abducens, abducens_nerve, abducent, abducent_nerve, accessory_nerve, acoustic_nerve, adrenal_cortex, adrenal_medulla, adventitial, afferent, afferent_fiber, afferent_nerve, allograft, alveolar_bed, amboyna, animal_tissue, anterior_crural_nerve, aponeurosis, aponeurotic, applewood, areolar_tissue, ash, ashen, astroglia, auditory_nerve, autograft, autoplasty, band, basilar_membrane, bassine, bast, bast_fiber, beechen, birch, birchen, bird's-eye_maple, birken, black_locust, blackwood, blastodermatic, blastodermic, bone_marrow...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15171-15171	Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3523-3525
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15173-15178
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15170-15170	Tissue is a subclass of body substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1201-1201	Bone marrow is a subclass of tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15195-15195	Connective tissue is a subclass of tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15253-15253	Epithelial tissue is a subclass of tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15269-15269	Muscle tissue is a subclass of tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15285-15285	Nervous tissue is a subclass of tissue
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4593-4593	Plant wicker is a subclass of tissue
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9472-9472	Tendon is a subclass of tissue
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9188-9188	Wood is a subclass of tissue
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1025-1025
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1262-1262
No TPTP formula. May not be expressible in strict first order.	french_format.kif 703-703
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 234-234
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 237-237
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2386-2386
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 655-655
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 272-272
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 724-724
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 238-238

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15212-15233	If a class is a subclass of tissue and another class is a subclass of tissue and an object is an instance of the class and another object is an instance of the other class and a third object is an instance of human and the object is a part of the third object and the other object is a part of the third object and the class is not equal to the other class and the class is not a subclass of the other class and the other class is not a subclass of the class and the object is adjacent to the other object, then the statement there exists an entity such that the entity is an instance of connective tissue and the entity is between the object and the other object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15187-15192	If an object is an instance of tissue, then there exists another object such that the other object is an instance of organism and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15180-15185	If an object is an instance of tissue, 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.	Medicine.kif 5796-5806	If shock is an attribute of an object, then there exists another object such that the other object is an instance of tissue and the other object is a part of the object and there doesn't exist a third object such that oxygenated blood is an attribute of the third object and the third object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	WMD.kif 483-490	If a physical is an instance of blister agent, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of damaging and the other entity is an instance of tissue and the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10211-10218	If a process is an instance of organ or tissue process, then there exists an object such that the process is located at the object and the object is an instance of organ or the object is an instance of tissue
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9465-9470	If an object is an instance of tumor, then for all another object if the other object is a part of the object, then the other object is an instance of tissue

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