| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10662-10663 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10660-10660 | O argumento numero 1 de antagonistMuscles e' uma sub-classe de Musculo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10661-10661 | O argumento numero 2 de antagonistMuscles e' uma sub-classe de Musculo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10658-10658 | antagonistMuscles e' uma instancia de Predicado Binario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10659-10659 | antagonistMuscles e' uma instancia de Relacao Irreflexiva |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10665-10665 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10664-10664 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10684-10695 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10671-10682 |
|
| 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 10697-10697 | antagonistMuscles Bicep and Tricep |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10699-10699 | 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