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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExternalCarotidArtery

 Sigma KEE - ExternalCarotidArtery
ExternalCarotidArtery(external carotid artery)
external_carotid, external_carotid_artery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 424-424 connectedBodyPartTypes external carotid artery, ascending pharyngeal artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 436-436 connectedBodyPartTypes external carotid artery, facial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 430-430 connectedBodyPartTypes external carotid artery, lingual artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 523-523 connectedBodyPartTypes external carotid artery, maxillary artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 506-506 connectedBodyPartTypes external carotid artery, occipital artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 513-513 connectedBodyPartTypes external carotid artery, posterior auricular artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 709-709 connectedBodyPartTypes external carotid artery, superficial temporal artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 394-394 connectedBodyPartTypes external carotid artery, superior thyroid artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 381-381
No TPTP formula. May not be expressible in strict first order. arteries.kif 384-384
No TPTP formula. May not be expressible in strict first order. arteries.kif 379-379 External carotid artery is a subclass of artery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 383-383 connectedBodyPartTypes left common carotid artery, external carotid artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 380-380


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