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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AbdominalAorta

 Sigma KEE - AbdominalAorta
AbdominalAorta

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1280-1280 connectedBodyPartTypes AbdominalAorta, ThoracicAorta and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1275-1277
No TPTP formula. May not be expressible in strict first order. arteries.kif 1279-1279
No TPTP formula. May not be expressible in strict first order. arteries.kif 1273-1273 每個 AbdominalAorta 是 Aorta 的 part
No TPTP formula. May not be expressible in strict first order. arteries.kif 1272-1272 子類 AbdominalAorta and 動脈

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1300-1300 connectedBodyPartTypes CeliacArtery, AbdominalAorta and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1549-1549 connectedBodyPartTypes CommonIliacArtery, AbdominalAorta and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1487-1487 connectedBodyPartTypes GonadalArtery, AbdominalAorta and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1284-1284 connectedBodyPartTypes InferiorPhrenicArtery, AbdominalAorta and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1505-1505 connectedBodyPartTypes LumbarArtery, AbdominalAorta and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1431-1431 connectedBodyPartTypes MiddleSuprarenalArtery, AbdominalAorta and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1498-1498 connectedBodyPartTypes OvarianArtery, AbdominalAorta and FemaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1439-1439 connectedBodyPartTypes RenalArtery, AbdominalAorta and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1397-1397 connectedBodyPartTypes SuperiorMesentericArtery, AbdominalAorta and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1493-1493 connectedBodyPartTypes TesticularArtery, AbdominalAorta and MaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1274-1274


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