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