No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25545-25545 |
AMFMAlarmClock e' uma sub-classe de AlarmClock |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25546-25546 |
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 4823-4823 |
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 12816-12816 |
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 |