No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1420-1420 |
Altimeter e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2750-2750 |
AntibodyCOVIDTest e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4071-4071 |
BimetalTemperatureSensor e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2882-2882 |
Clock e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2794-2794 |
FeelerGauge e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4458-4458 |
FitbitDevice e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3052-3052 |
Hydrometer e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3305-3305 |
MassAirflowSensor e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3343-3343 |
OxygenSensor e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2918-2918 |
PressureMeasuringDevice e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1559-1559 |
RTPCRTest e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1699-1699 |
SnellenChart e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4022-4022 |
Tachometer e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14489-14489 |
TestForm e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2906-2906 |
Thermometer e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4147-4147 |
TorqueWrench e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4246-4246 |
VacuumGauge e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36689-36689 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36688-36688 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36687-36687 |
|