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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BodyVessel
BodyVessel(veine)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3516-3517
No TPTP formula. May not be expressible in strict first order. Merge.kif 15149-15150
No TPTP formula. May not be expressible in strict first order. Merge.kif 15148-15148 Veine est une sous-classe de BodyCavity

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11118-11118 Alveolus est une sous-classe de veine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11104-11104 BloodVessel est une sous-classe de veine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11092-11092 BronchialDuct est une sous-classe de veine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12107-12107 Esophagus est une sous-classe de veine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12060-12060 Intestine est une sous-classe de veine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12069-12069 LargeIntestine est une sous-classe de veine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11339-11339 Nostril est une sous-classe de veine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12097-12097 Rectum est une sous-classe de veine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12070-12070 SmallIntestine est une sous-classe de veine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11749-11749 Throat est une sous-classe de veine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11761-11761 Trachea est une sous-classe de veine
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1021-1021
No TPTP formula. May not be expressible in strict first order. english_format.kif 1254-1254
No TPTP formula. May not be expressible in strict first order. french_format.kif 699-699
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 230-230
No TPTP formula. May not be expressible in strict first order. terms-it.txt 233-233
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2382-2382
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 651-651
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 268-268
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 720-720
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 234-234


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