Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tissue

 Sigma KEE - Tissue
Tissue(身体组织)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15125-15125 身体组织 分拆成不相交的 ConnectiveTissue, MuscleTissue, NervousTissue, 和 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 身体组织 是 身体物质 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1201-1201 BoneMarrow 是 身体组织 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15149-15149 ConnectiveTissue 是 身体组织 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15207-15207 EpithelialTissue 是 身体组织 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15223-15223 MuscleTissue 是 身体组织 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15239-15239 NervousTissue 是 身体组织 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4598-4598 PlantWicker 是 身体组织 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9445-9445 肌腱 是 身体组织 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9161-9161 木 是 身体组织 的 subclass
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
No TPTP formula. May not be expressible in strict first order. Merge.kif 15141-15146
No TPTP formula. May not be expressible in strict first order. Merge.kif 15134-15139

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5796-5806
No TPTP formula. May not be expressible in strict first order. WMD.kif 483-490
No TPTP formula. May not be expressible in strict first order. Merge.kif 10175-10182
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9438-9443


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