|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25546-25546 | AMFMAlarmClock e' uma sub-classe de AlarmClock |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25547-25547 | AMFMAlarmClock e' uma sub-classe de RadioReceiver |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 293-293 | AMRadioStation e' uma sub-classe de RadioStation |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 236-236 | AMRadioSystem e' uma sub-classe de RadioSystem |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3169-3169 | AOCnumber e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1575-1575 | APC e' uma sub-classe de ArmoredVehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1573-1573 | APC e' uma sub-classe de LandVehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1571-1571 | APC e' uma sub-classe de MilitaryVehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1572-1572 | APC e' uma sub-classe de PassengerVehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1574-1574 | APC e' uma sub-classe de PoweredVehicle |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3583-3583 | ATMMachine e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3659-3659 | ATMSlot e' uma sub-classe de Buraco |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4815-4815 | ATVTire e' uma sub-classe de Tire |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2169-2169 | AVCTP e' uma sub-classe de Programa de Computador |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6412-6412 | AVPUStatus e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1988-1988 | AbaloneMeat e' uma sub-classe de MolluskMeat |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4945-4945 | Abatacept e' uma sub-classe de Immunosupressant |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 527-527 | Abayah e' uma sub-classe de Cloak |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1212-1212 | Abbey e' uma sub-classe de Organizacao Religiosa |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12817-12817 | Abdomen e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1272-1272 | AbdominalAorta e' uma sub-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 135-135 | AbducensNerveCNVI e' uma sub-classe de Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1608-1608 | AbductorDigitiMinimiMuscle e' uma sub-classe de Musculo |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2127-2127 | AbductorHallucisMuscle e' uma sub-classe de Musculo |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1581-1581 | AbductorPollicisBrevisMuscle e' uma sub-classe de Musculo |
| 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