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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MaxillaryArtery

 Sigma KEE - MaxillaryArtery
MaxillaryArtery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 611-611 connectedBodyPartTypes MaxillaryArtery, AccessoryMeningealArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 539-539 connectedBodyPartTypes MaxillaryArtery, AnteriorTympanicArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 703-703 connectedBodyPartTypes MaxillaryArtery, ArteryOfPterygoidCanalArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 688-688 connectedBodyPartTypes MaxillaryArtery, BranchesToAlveolarCanalsArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 693-693 connectedBodyPartTypes MaxillaryArtery, BranchesToGingivaArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 637-637 connectedBodyPartTypes MaxillaryArtery, BuccalArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 533-533 connectedBodyPartTypes MaxillaryArtery, DeepAuricularArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 632-632 connectedBodyPartTypes MaxillaryArtery, DeepTemporalArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 660-660 connectedBodyPartTypes MaxillaryArtery, DescendingPalatineArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 584-584 connectedBodyPartTypes MaxillaryArtery, InferiorAlveolarArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 673-673 connectedBodyPartTypes MaxillaryArtery, InfraorbitalArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 622-622 connectedBodyPartTypes MaxillaryArtery, MassetericArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 545-545 connectedBodyPartTypes MaxillaryArtery, MiddleMeningealArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 698-698 connectedBodyPartTypes MaxillaryArtery, PharyngealArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 683-683 connectedBodyPartTypes MaxillaryArtery, PosteriorSuperiorAlveolarArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 627-627 connectedBodyPartTypes MaxillaryArtery, PterygoidBranchArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 647-647 connectedBodyPartTypes MaxillaryArtery, SphenopalatineArteryTerminalBranch and Humano
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 MaxillaryArtery e' uma sub-classe de Artery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 523-523 connectedBodyPartTypes ExternalCarotidArtery, MaxillaryArtery and Humano
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