| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1679-1683 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1686-1686 | muscleOrigin 的 1 数量 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1687-1687 | muscleOrigin 的 2 数量 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1685-1685 | muscleOrigin 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1688-1688 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1689-1689 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1695-1706 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1708-1729 |
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1691-1693 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1610-1610 | muscleOrigin AbductorDigitiMinimiMuscle and Pisiform |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2146-2146 | muscleOrigin AbductorDigitiMinimiMuscle and PlantarAponeurosis |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2129-2129 | muscleOrigin AbductorHallucisMuscle and MedialProcessOfCalcaneusFlexorRetinaculumPlantarAponeurosis |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1583-1583 | muscleOrigin AbductorPollicisBrevisMuscle and FlexorRetinaculumOfHandScaphoidAndTrapezium |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1537-1537 | muscleOrigin AbductorPollicisLongusMuscle and Ulna |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1592-1592 | muscleOrigin AbductorPollicisMuscle and AnteriorBoidyOfThirdMetacarpal |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1940-1940 | muscleOrigin AdductorBrevisMuscle and AnteriorSurfaceOfInferiorPubicRamus11 |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2182-2182 | muscleOrigin AdductorHallucisMuscle and ProximalEndOfmetatarsal |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1949-1949 | muscleOrigin AdductorLongusMuscle and PubicBodyJustBelowPubicCrest |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1907-1907 | muscleOrigin AdductorMusclesOfTheHipMuscle and Pubis |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 243-243 | muscleOrigin AlarPartDilatorNarisMuscle and AlveolarYokeOfIncisorTooth |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 244-244 | muscleOrigin AlarPartDilatorNarisMuscle and SkinNearMarginOfNostril |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1371-1371 | muscleOrigin AnconeusMuscle and LateralEpicondyleOfHumerus |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1811-1811 | muscleOrigin ArticularisGenusMuscle and Femur |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 541-541 | muscleOrigin ArytenoidTransverseAndObliqueMuscle and ArytenoidCartilageOnOneSide |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 165-165 | muscleOrigin AuricularisAnteriorMuscle and TemporalFascia |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 181-181 | muscleOrigin AuricularisPosteriorMuscle and MastoidProcessOfTemporalBoneTendonOfSternocleidomastoid |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 173-173 | muscleOrigin AuricularisSuperiorMuscle and EpicranialAponeurosis |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1342-1342 | muscleOrigin BicepsBrachiiMuscle and CoracoidProcessOfScapula |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1874-1874 | muscleOrigin BicepsFemorisMuscle and IschialTuberosity |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1350-1350 | muscleOrigin BrachialisMuscle and AnteriorSurfaceOfHumerusMainlyDistalHalf |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1491-1491 | muscleOrigin BrachioradialisMuscle and LateralSupracondylarRidgeOfHumerus |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 295-295 | muscleOrigin BuccinatorMuscle and AlveolarProcessesOfMaxillaAndMandiblePterygomandibularRaphe |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1150-1150 | muscleOrigin BulbospongiosusMuscle and PerinealRaphe |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 395-395 | muscleOrigin ChondroglossusMuscle and LesserCornuAndBodyOfHyoidBone |
| 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