MeasuringDevice
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3628-3629 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16001-16002 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1176-1176 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16000-16000 | Measuring device is a subclass of device |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1420-1420 | Altimeter is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2750-2750 | Antigen COVID test is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4063-4063 | Bi-metal temperature sensor is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2882-2882 | Clock is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2788-2788 | Feeler gauge is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4458-4458 | Fitbit is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3046-3046 | Hydrometer is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3297-3297 | Mass airflow sensor is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3335-3335 | Oxygen sensor is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2918-2918 | Pressure measuring device is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1559-1559 | Reverse transcription polymerase chain reaction is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1699-1699 | Snellen chart is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4014-4014 | Tachometer is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14490-14490 | Test form is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2906-2906 | Thermometer is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4139-4139 | Torque wrench is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4238-4238 | Vacuum gauge is a subclass of measuring device |
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 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2936-2936 | The number 1 argument of measurement reading is an instance of measuring device |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16004-16010 |
|