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 15147-15147 身体组织 分拆成不相交的 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 15149-15154
No TPTP formula. May not be expressible in strict first order. Merge.kif 15146-15146 身体组织 是 身体物质 的 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 15171-15171 ConnectiveTissue 是 身体组织 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15229-15229 EpithelialTissue 是 身体组织 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15245-15245 MuscleTissue 是 身体组织 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15261-15261 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 9444-9444 肌腱 是 身体组织 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9160-9160 木 是 身体组织 的 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 15188-15209
No TPTP formula. May not be expressible in strict first order. Merge.kif 15163-15168
No TPTP formula. May not be expressible in strict first order. Merge.kif 15156-15161

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 10197-10204
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9437-9442


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