TreeView Knowledge Base Browser - Tissue

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Tissue

Tissue

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15147-15147	不相交分解 Tissue, ConnectiveTissue, MuscleTissue, NervousTissue and EpithelialTissue
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 15149-15154
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15146-15146	子類 Tissue and BodySubstance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1201-1201	子類 BoneMarrow and Tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15171-15171	子類 ConnectiveTissue and Tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15229-15229	子類 EpithelialTissue and Tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15245-15245	子類 MuscleTissue and Tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15261-15261	子類 NervousTissue and Tissue
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4598-4598	子類 PlantWicker and Tissue
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9444-9444	子類肌腱 and Tissue
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9160-9160	子類木 and 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 15188-15209	子類 Class and Tissue 子類 Class and Tissue 例 Object and Class 例 Object and Class 例 Object and Human 部分 Object and Object 部分 Object and Object 等於 Class and Class 子類 Class and Class 子類 Class and Class 方位 Object, Object and 鄰模態屬性 entity 例 entity and ConnectiveTissue 之間 Object, entity and Object and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15163-15168	例 Object and Tissue Object 例 Object and Organism 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15156-15161	例 Object and Tissue Object 例 Object and Cell 部分 Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5796-5806	attribute Object and Shock Object 例 Object and Tissue 部分 Object and Object Object attribute Object and OxygenatedBlood 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	WMD.kif 483-490	例 Physical and 發泡劑有目的 Physical and entity entity 例 entity and Damaging 例 entity and Tissue 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10197-10204	例 Process and OrganOrTissueProcess Object Process 是 located 在 Object 例 Object and Organ 例 Object and Tissue
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9437-9442	例 Object and 瘤 Object 部分 Object and Object 例 Object and Tissue

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