|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 354-354 | connectedBodyPartTypes InternalCarotidArtery, MiddleCerebralArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 178-178 | connectedBodyPartTypes InternalCarotidArtery, OphthalmicArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 377-377 | connectedBodyPartTypes InternalCarotidArtery, PosteriorCommunicatingArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1556-1556 | connectedBodyPartTypes InternalIliacArtery, CommonIliacArtery and 人类 |
| 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 837-837 | connectedBodyPartTypes InternalThoracicArtery, LeftSubclavianArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1418-1418 | connectedBodyPartTypes IntestinalArtery, SuperiorMesentericArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1024-1024 | connectedBodyPartTypes L5VertebraBone, Sacrum and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 825-825 | connectedBodyPartTypes LabyrinthineArtery, AnteriorInferiorCerebellarArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 194-194 | connectedBodyPartTypes LacrimalArtery, LateralPalpebralArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 206-206 | connectedBodyPartTypes LacrimalArtery, RecurrentBranchArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 200-200 | connectedBodyPartTypes LacrimalArtery, ZygomaticBranchArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1778-1778 | connectedBodyPartTypes LateralFemoralCircumflexArtery, DeepFemoralArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1783-1783 | connectedBodyPartTypes LateralFemoralCircumflexAscendingBranchArtery, LateralFemoralCircumflexArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1788-1788 | connectedBodyPartTypes LateralFemoralCircumflexDescendingBranchArtery, LateralFemoralCircumflexArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1793-1793 | connectedBodyPartTypes LateralFemoralCircumflexTransverseBranchArtery, LateralFemoralCircumflexArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1975-1975 | connectedBodyPartTypes LateralInferiorGenicularArtery, PoplitealArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1920-1920 | connectedBodyPartTypes LateralPlantarArtery, PosteriorTibialArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1700-1700 | connectedBodyPartTypes LateralSacralArtery, InternalIliacArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1710-1710 | connectedBodyPartTypes LateralSacralInferiorArtery, LateralSacralArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1705-1705 | connectedBodyPartTypes LateralSacralSuperiorArtery, LateralSacralArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1945-1945 | connectedBodyPartTypes LateralSuperiorGenicularArtery, PoplitealArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1955-1955 | connectedBodyPartTypes LateralSuperiorGenicularDeepBranchArtery, LateralSuperiorGenicularArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1950-1950 | connectedBodyPartTypes LateralSuperiorGenicularSuperficialBranchArtery, LateralSuperiorGenicularArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1006-1006 | connectedBodyPartTypes LateralThoracicArtery, AxillaryArtery and 人类 |
| 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