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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BloodVessel

 Sigma KEE - BloodVessel
BloodVessel(blood vessel)
blood_vessel, vasa_vasorum

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9457-9458
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1667-1667
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2118-2118
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9456-9456 Blood vessel is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9455-9455 Blood vessel is a subclass of body vessel

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9480-9480 Artery is a subclass of blood vessel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9550-9550 Capillary is a subclass of blood vessel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9496-9496 Vein is a subclass of blood vessel
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11339-11339
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11338-11338
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11337-11337

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


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


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