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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MaxillaryArtery

 Sigma KEE - MaxillaryArtery
MaxillaryArtery(maxillary artery)
arteria_maxillaris, internal_maxillary_artery, maxillary_artery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 611-611 connectedBodyPartTypes maxillary artery, accessory meningeal artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 539-539 connectedBodyPartTypes maxillary artery, anterior tympanic artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 703-703 connectedBodyPartTypes maxillary artery, artery of pterygoid canal artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 688-688 connectedBodyPartTypes maxillary artery, branches to alveolar canals artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 693-693 connectedBodyPartTypes maxillary artery, branches to gingiva artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 637-637 connectedBodyPartTypes maxillary artery, buccal artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 533-533 connectedBodyPartTypes maxillary artery, deep auricular artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 632-632 connectedBodyPartTypes maxillary artery, deep temporal artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 660-660 connectedBodyPartTypes maxillary artery, descending palatine artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 584-584 connectedBodyPartTypes maxillary artery, inferior alveolar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 673-673 connectedBodyPartTypes maxillary artery, infraorbital artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 622-622 connectedBodyPartTypes maxillary artery, masseteric artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 545-545 connectedBodyPartTypes maxillary artery, middle meningeal artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 698-698 connectedBodyPartTypes maxillary artery, pharyngeal artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 683-683 connectedBodyPartTypes maxillary artery, posterior superior alveolar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 627-627 connectedBodyPartTypes maxillary artery, pterygoid branch artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 647-647 connectedBodyPartTypes maxillary artery, sphenopalatine artery terminal branch and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 520-520
No TPTP formula. May not be expressible in strict first order. arteries.kif 522-522
No TPTP formula. May not be expressible in strict first order. arteries.kif 518-518 Maxillary artery is a subclass of artery

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


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 519-519


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