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

(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue)	Merge.kif 15263-15263	Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue
(documentation Tissue ChineseLanguage "这是同样专门 Cell 和相关细胞间物质的聚合物。 Tissue 和 BodyPart、Organ 或 Organ 组织相比，算是相对非局部性。 Tissue 的主要特征是能自我连接(见 SelfConnectedObject)和为性质单一的一块 (粒度相同的所有部分也是 Tissue 的实例。)。")	chinese_format.kif 3523-3525	Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue
(documentation Tissue EnglishLanguage "An aggregation of similarly specialized Cells and the associated intercellular substance. Tissues are relatively non-localized in comparison to BodyParts, Organs or Organ components. The main features of Tissues are self-connectivity (see SelfConnectedObject) and being a homogeneous mass (all parts in the same granularity are instances of Tissue as well).")	Merge.kif 15265-15270	Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue
(subclass Tissue BodySubstance)	Merge.kif 15262-15262	Tissue is a subclass of body substance

appearance as argument number 2

(subclass BoneMarrow Tissue)	Medicine.kif 1193-1193	Bone marrow is a subclass of tissue
(subclass ConnectiveTissue Tissue)	Merge.kif 15287-15287	Connective tissue is a subclass of tissue
(subclass EpithelialTissue Tissue)	Merge.kif 15345-15345	Epithelial tissue is a subclass of tissue
(subclass MuscleTissue Tissue)	Merge.kif 15361-15361	Muscle tissue is a subclass of tissue
(subclass NervousTissue Tissue)	Merge.kif 15377-15377	Nervous tissue is a subclass of tissue
(subclass PlantWicker Tissue)	Mid-level-ontology.kif 5062-5062	Plant wicker is a subclass of tissue
(subclass Tendon Tissue)	Mid-level-ontology.kif 10792-10792	Tendon is a subclass of tissue
(subclass Wood Tissue)	Mid-level-ontology.kif 10385-10385	Wood is a subclass of tissue
(termFormat ChineseLanguage Tissue "身体组织")	chinese_format.kif 1025-1025	Wood is a subclass of tissue
(termFormat EnglishLanguage Tissue "tissue")	english_format.kif 1262-1262	Wood is a subclass of tissue
(termFormat FrenchLanguage Tissue "tissu")	french_format.kif 703-703	Wood is a subclass of tissue
(termFormat Hindi Tissue "Utaka")	terms-hindi.txt 234-234	Wood is a subclass of tissue
(termFormat ItalianLanguage Tissue "Tessuto")	terms-it.txt 237-237	Wood is a subclass of tissue
(termFormat JapaneseLanguage Tissue "《医》組織")	japanese_format.kif 2386-2386	Wood is a subclass of tissue
(termFormat PortugueseLanguage Tissue "Tecido")	portuguese_format.kif 655-655	Wood is a subclass of tissue
(termFormat cz Tissue "tissue")	terms-cz.txt 272-272	Wood is a subclass of tissue
(termFormat de Tissue "Gewebe")	terms-de.txt 531-531	Wood is a subclass of tissue
(termFormat ro Tissue "þesut")	relations-ro.kif 724-724	Wood is a subclass of tissue
(termFormat tg Tissue "Hilatsa")	terms-tg.txt 238-238	Wood is a subclass of tissue

antecedent

(=> (and (subclass ?T1C Tissue) (subclass ?T2C Tissue) (instance ?T1 ?T1C) (instance ?T2 ?T2C) (instance ?H Human) (part ?T1 ?H) (part ?T2 ?H) (not (equal ?T1C ?T2C)) (not (subclass ?T1C ?T2C)) (not (subclass ?T2C ?T1C)) (orientation ?T1 ?T2 Adjacent)) (modalAttribute (exists (?CT) (and (instance ?CT ConnectiveTissue) (between ?T1 ?CT ?T2))) Likely))	Merge.kif 15304-15325	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
(=> (instance ?STUFF Tissue) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (part ?STUFF ?ORGANISM))))	Merge.kif 15279-15284	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
(=> (instance ?STUFF Tissue) (exists (?PART) (and (instance ?PART Cell) (part ?PART ?STUFF))))	Merge.kif 15272-15277	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

(=> (attribute ?H Shock) (exists (?T) (and (instance ?T Tissue) (part ?T ?H) (not (exists (?OB) (and (attribute ?OB OxygenatedBlood) (part ?OB ?T)))))))	Medicine.kif 5807-5817	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
(=> (instance ?AGENT BlisterAgent) (hasPurpose ?AGENT (exists (?DAMAGE ?TISSUE) (and (instance ?DAMAGE Damaging) (instance ?TISSUE Tissue) (patient ?DAMAGE ?TISSUE)))))	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
(=> (instance ?PROC OrganOrTissueProcess) (exists (?THING) (and (eventLocated ?PROC ?THING) (or (instance ?THING Organ) (instance ?THING Tissue)))))	Merge.kif 10300-10307	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
(=> (instance ?TUMOR Tumor) (forall (?PART) (=> (part ?PART ?TUMOR) (instance ?PART Tissue))))	Mid-level-ontology.kif 10785-10790	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