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 15125-15125	不相交分解 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 15127-15132
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15124-15124	子類 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 15149-15149	子類 ConnectiveTissue and Tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15207-15207	子類 EpithelialTissue and Tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15223-15223	子類 MuscleTissue and Tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15239-15239	子類 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 9445-9445	子類肌腱 and Tissue
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9161-9161	子類木 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 15166-15187	子類 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 15141-15146	例 Object and Tissue Object 例 Object and Organism 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15134-15139	例 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 10175-10182	例 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 9438-9443	例 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