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 Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 539-539 connectedBodyPartTypes MaxillaryArtery, AnteriorTympanicArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 703-703 connectedBodyPartTypes MaxillaryArtery, ArteryOfPterygoidCanalArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 688-688 connectedBodyPartTypes MaxillaryArtery, BranchesToAlveolarCanalsArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 693-693 connectedBodyPartTypes MaxillaryArtery, BranchesToGingivaArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 637-637 connectedBodyPartTypes MaxillaryArtery, BuccalArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 533-533 connectedBodyPartTypes MaxillaryArtery, DeepAuricularArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 632-632 connectedBodyPartTypes MaxillaryArtery, DeepTemporalArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 660-660 connectedBodyPartTypes MaxillaryArtery, DescendingPalatineArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 584-584 connectedBodyPartTypes MaxillaryArtery, InferiorAlveolarArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 673-673 connectedBodyPartTypes MaxillaryArtery, InfraorbitalArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 622-622 connectedBodyPartTypes MaxillaryArtery, MassetericArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 545-545 connectedBodyPartTypes MaxillaryArtery, MiddleMeningealArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 698-698 connectedBodyPartTypes MaxillaryArtery, PharyngealArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 683-683 connectedBodyPartTypes MaxillaryArtery, PosteriorSuperiorAlveolarArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 627-627 connectedBodyPartTypes MaxillaryArtery, PterygoidBranchArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 647-647 connectedBodyPartTypes MaxillaryArtery, SphenopalatineArteryTerminalBranch 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 子類 MaxillaryArtery and 動脈

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


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