|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1024-1024 | BrachialArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 124-124 | BrachiocephalicArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1936-1936 | BranchArteryToSurfaceOfTheFemurAndTheKneeJoint e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 899-899 | BranchToAbdominalMusclesArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 894-894 | BranchToDiaphragmArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 889-889 | BranchToLowerPartOfThePericardiumArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1966-1966 | BranchToPopliteusArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1931-1931 | BranchToVastusMedialisArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1180-1180 | BranchToVolarCarpalNetworkArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1046-1046 | BranchesToTheDeltoidMuscleArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1243-1243 | BronchialArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1385-1385 | BuhlersAnastomoticArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 138-138 | CarotidArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1291-1291 | CeliacArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 791-791 | CerebellarArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 339-339 | CerebralArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 438-438 | CervicalArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 81-81 | CircumflexArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 992-992 | ClavicularArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1316-1316 | CommonHepaticArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1544-1544 | CommonIliacArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1151-1151 | CommonInterosseousArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1901-1901 | CommunicatingBranchToTheAnteriorTibialArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 943-943 | CostocervicalTrunkArtery e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 414-414 | CricothyroidArtery e' uma sub-classe de Artery |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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