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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternalPudendalArtery

 Sigma KEE - InternalPudendalArtery
InternalPudendalArtery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1591-1591 connectedBodyPartTypes InternalPudendalArtery, InternalIliacArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 1589-1589
No TPTP formula. May not be expressible in strict first order. arteries.kif 1587-1587 InternalPudendalArtery 是 AnteriorIliacArteryDivision 的 subclass

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1621-1621 connectedBodyPartTypes ArteryOfBulbOfPenis, InternalPudendalArtery and MaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1626-1626 connectedBodyPartTypes ArteryOfBulbOfVestibule, InternalPudendalArtery and FemaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1646-1646 connectedBodyPartTypes DeepArteryOfClitoris, InternalPudendalArtery and FemaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1641-1641 connectedBodyPartTypes DeepArteryOfPenis, InternalPudendalArtery and MaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1636-1636 connectedBodyPartTypes DorsalArteryOfClitoris, InternalPudendalArtery and FemaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1631-1631 connectedBodyPartTypes DorsalArteryOfPenis, InternalPudendalArtery and MaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1596-1596 connectedBodyPartTypes InferiorRectalArtery, InternalPudendalArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 1601-1601 connectedBodyPartTypes PerinealArtery, InternalPudendalArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 1611-1611 connectedBodyPartTypes PosteriorLabialBranchArtery, InternalPudendalArtery and FemaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1606-1606 connectedBodyPartTypes PosteriorScrotalBranchArtery, InternalPudendalArtery and MaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1616-1616 connectedBodyPartTypes UrethralArtery, InternalPudendalArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 1588-1588


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