| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11559-11560 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11557-11557 | 域子類 antagonistMuscles, 1 and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11558-11558 | 域子類 antagonistMuscles, 2 and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11555-11555 | 例 antagonistMuscles and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11556-11556 | 例 antagonistMuscles and IrreflexiveRelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11562-11562 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11561-11561 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11581-11592 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11568-11579 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2198-2198 | antagonistMuscles AbductorDigitiMinimiMuscle and FlexorDigitiMinimiBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2188-2188 | antagonistMuscles AbductorHallucisMuscle and AdductorHallucisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2135-2135 | antagonistMuscles AdductorHallucisMuscle and AbductorHallucisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1588-1588 | antagonistMuscles AdductorPollicisMuscle and AbductorPollicisBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1542-1542 | antagonistMuscles AdductorPollicisMuscle and AbductorPollicisLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11594-11594 | antagonistMuscles Bicep and Tricep |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11596-11596 | antagonistMuscles CalfMuscle and ShinMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1193-1193 | antagonistMuscles DeltoidMuscle and LatissimusDorsiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2207-2207 | antagonistMuscles DorsalInterosseiMuscle and PlantarInterosseiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 833-833 | antagonistMuscles ErectorSpinaeMuscle and RectusAbdominisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 891-891 | antagonistMuscles ErectorSpinaeMuscle and RectusAbdominusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1407-1407 | antagonistMuscles ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusExtensorCarpiUlnarisMuscle and PalmarisLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1398-1398 | antagonistMuscles ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusMuscle and FlexorCarpiRadialisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1418-1418 | antagonistMuscles ExtensorCarpiUlnarisMuscle and FlexorCarpiUlnarisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1625-1625 | antagonistMuscles ExtensorDigitiMinimiMuscle and FingerFlexorDigitiMinimiBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2143-2143 | antagonistMuscles ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle and FlexorDigitorumBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2070-2070 | antagonistMuscles ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle and FlexorDigitorumLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1447-1447 | antagonistMuscles ExtensorDigitorumMuscle and FlexorDigitorumProfundusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1427-1427 | antagonistMuscles ExtensorDigitorumMuscle and FlexorDigitorumSuperficialisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2178-2178 | antagonistMuscles ExtensorHallucisLongusMuscle and FlexorHallucisBrevis |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2061-2061 | antagonistMuscles ExtensorHallucisLongusMuscle and FlexorHallucisLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1579-1579 | antagonistMuscles ExtensorPollicisLongusExtensorPollicisBrevisMuscle and FlexorPollicisBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1458-1458 | antagonistMuscles ExtensorPollicisLongusExtensorPollicisBrevisMuscle and FlexorPollicisLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1026-1026 | antagonistMuscles ExternalIntercostalsMuscle and InternalIntercostalsMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1976-1976 | antagonistMuscles FibularisLongusGastrocnemiusSoleusPlantarisTibialisPosteriorMuscle and TibialisAnteriorMuscle |
| 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