| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1942-1943 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1944-1944 | 域子類 suppliesBlood, 1 and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1945-1945 | 域子類 suppliesBlood, 2 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1941-1941 | 例 suppliesBlood and BinaryPredicate |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1947-1958 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1444-1444 | suppliesBlood AnteriorInterosseousArtery and FlexorDigitorumProfundusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1453-1453 | suppliesBlood AnteriorInterosseousArtery and FlexorPollicisLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1433-1433 | suppliesBlood AnteriorInterosseousArtery and PronatorQuadratusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1991-1991 | suppliesBlood AnteriorTibialArtery and ExtensorDigitorumLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1982-1982 | suppliesBlood AnteriorTibialArtery and ExtensorHallucisLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2000-2000 | suppliesBlood AnteriorTibialArtery and FibularisTertiusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1971-1971 | suppliesBlood AnteriorTibialArtery and TibialisAnteriorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 716-716 | suppliesBlood AscendingCervicalArteryFromInferiorThyroidArtery and ScaleneAnteriorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 727-727 | suppliesBlood AscendingCervicalArteryFromInferiorThyroidArtery and ScaleneMediusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 706-706 | suppliesBlood AscendingCervicalArteryFromInferiorThyroidArtery and ScaleneMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 737-737 | suppliesBlood AscendingCervicalArterySuperficialCervicalArtery and ScalenePosteriorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 525-525 | suppliesBlood AscendingPharyngealArteryTonsilarBranchOfFacialArtery and PharyngealSuperiorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 673-673 | suppliesBlood AscendingPharyngealArteryVertebralArtery and LongusColliMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1344-1344 | suppliesBlood BrachialArtery and BicepsBrachiiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1334-1334 | suppliesBlood BrachialArtery and CoracobrachialisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 576-576 | suppliesBlood BranchesOfSubmentalArteryBranchesOfSuprascapularArtery and PlatysmaMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 297-297 | suppliesBlood BuccalArtery and BuccinatorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 533-533 | suppliesBlood CricothyroidBranchOfSuperiorThyroidArtery and CricothyroidMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1361-1361 | suppliesBlood DeepArteryOfArm and TricepsBrachiiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1373-1373 | suppliesBlood DeepArteryOfArmInterosseousRecurrentArtery and AnconeusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1594-1594 | suppliesBlood DeepPalmarArch and AbductorPollicisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 349-349 | suppliesBlood DeepTemporalArteries and TemporalisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1651-1651 | suppliesBlood DorsalMetacarpalArteryPalmarMetacarpalArtery and DorsalInterosseiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 745-745 | suppliesBlood DorsalScapularArtery and LevatorScapulaeMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1212-1212 | suppliesBlood DorsalScapularArtery and RhomboidMajorMuscle |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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