|
|
   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 16023-16024 | |
| 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 16022-16022 | MeasuringDevice est une sous-classe de appareil |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1420-1420 | Altimeter est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2750-2750 | AntibodyCOVIDTest est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4071-4071 | BimetalTemperatureSensor est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2882-2882 | Clock est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2794-2794 | FeelerGauge est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4458-4458 | FitbitDevice est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3052-3052 | Hydrometer est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3305-3305 | MassAirflowSensor est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3343-3343 | OxygenSensor est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2918-2918 | PressureMeasuringDevice est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1559-1559 | RTPCRTest est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1699-1699 | SnellenChart est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4022-4022 | Tachometer est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14489-14489 | TestForm est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2906-2906 | Thermometer est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4147-4147 | TorqueWrench est une sous-classe de MeasuringDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4246-4246 | VacuumGauge est une sous-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 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2936-2936 | Le nombre 1 argument de measurementReading est une instance de MeasuringDevice |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16026-16032 |
|
|
|
