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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MiddleMeningealArtery

Sigma KEE - MiddleMeningealArtery
MiddleMeningealArtery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 552-552 connectedBodyPartTypes MiddleMeningealArtery, OphthalmicArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 571-571 connectedBodyPartTypes MiddleMeningealArtery, OrbitalBranchArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 566-566 connectedBodyPartTypes MiddleMeningealArtery, SuperficialPetrosalBranchArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 557-557 connectedBodyPartTypes MiddleMeningealArtery, SuperiorTympanicArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 578-578 connectedBodyPartTypes MiddleMeningealArtery, TemporalBranchArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 561-561 connectedBodyPartTypes MiddleMeningealArtery, VesselToSemilunarGanglionArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 543-543
No TPTP formula. May not be expressible in strict first order. arteries.kif 541-541 MiddleMeningealArtery est une sous-classe de ExternalCarotidTerminalFirstPortionArtery

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


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


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