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 4063-4063 |
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 2788-2788 |
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 3046-3046 |
Hydrometer e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3297-3297 |
MassAirflowSensor e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3335-3335 |
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 4014-4014 |
Tachometer e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14490-14490 |
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 4139-4139 |
TorqueWrench e' uma sub-classe de MeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4238-4238 |
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 |
|