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

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


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