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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BloodVessel
BloodVessel

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11106-11107
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1666-1666
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2117-2117
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11105-11105 BloodVessel e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11104-11104 BloodVessel e' uma sub-classe de Veia

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11130-11130 Artery e' uma sub-classe de BloodVessel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11201-11201 Capillary e' uma sub-classe de BloodVessel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11147-11147 Vein e' uma sub-classe de BloodVessel
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11393-11393
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11392-11392
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11391-11391

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11109-11116

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2418-2423
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2425-2434
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5732-5736


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