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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExternalCarotidTerminalThirdPortionArtery
ExternalCarotidTerminalThirdPortionArtery(external carotid terminal third portion artery)

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 641-641
No TPTP formula. May not be expressible in strict first order. arteries.kif 639-639 External carotid terminal third portion artery is a subclass of artery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 675-675 Anterior superior alveolar artery is a subclass of external carotid terminal third portion artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 699-699 Artery of pterygoid canal artery is a subclass of external carotid terminal third portion artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 684-684 Branches to alveolar canals artery is a subclass of external carotid terminal third portion artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 689-689 Branches to gingiva artery is a subclass of external carotid terminal third portion artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 656-656 Descending palatine artery is a subclass of external carotid terminal third portion artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 661-661 Greater palatine artery is a subclass of external carotid terminal third portion artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 669-669 Infraorbital artery is a subclass of external carotid terminal third portion artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 665-665 Lesser palatine artery is a subclass of external carotid terminal third portion artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 694-694 Pharyngeal artery is a subclass of external carotid terminal third portion artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 648-648 Posterior lateral nasal branch artery is a subclass of external carotid terminal third portion artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 652-652 Posterior septal branch artery is a subclass of external carotid terminal third portion artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 679-679 Posterior superior alveolar artery is a subclass of external carotid terminal third portion artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 643-643 Sphenopalatine artery terminal branch is a subclass of external carotid terminal third portion artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 640-640


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