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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tissue
Tissue(Tecido)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15147-15147 Tecido e' disjuntamente decomponivel em 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 Tecido e' uma sub-classe de Substancia Corporal

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1201-1201 BoneMarrow e' uma sub-classe de Tecido
No TPTP formula. May not be expressible in strict first order. Merge.kif 15171-15171 ConnectiveTissue e' uma sub-classe de Tecido
No TPTP formula. May not be expressible in strict first order. Merge.kif 15229-15229 EpithelialTissue e' uma sub-classe de Tecido
No TPTP formula. May not be expressible in strict first order. Merge.kif 15245-15245 MuscleTissue e' uma sub-classe de Tecido
No TPTP formula. May not be expressible in strict first order. Merge.kif 15261-15261 NervousTissue e' uma sub-classe de Tecido
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4598-4598 PlantWicker e' uma sub-classe de Tecido
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9444-9444 Tendon e' uma sub-classe de Tecido
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9160-9160 Wood e' uma sub-classe de Tecido
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 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