MeasuringDevice
|
|
appearance as argument number 1 |
(documentation MeasuringDevice ChineseLanguage "这是任何用来量度 PhysicalQuantity 的 Device。") | chinese_format.kif 3628-3629 | |
(documentation MeasuringDevice EnglishLanguage "Any Device whose purpose is to measure a PhysicalQuantity.") | Merge.kif 16073-16074 | |
(externalImage MeasuringDevice "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 3/ 35/ TapeMeasure.png/ 180px-TapeMeasure.png") | pictureList.kif 1176-1176 | |
(subclass MeasuringDevice Device) | Merge.kif 16072-16072 | MeasuringDevice ist eine teilkategorie von Device |
appearance as argument number 2 |
appearance as argument number 3 |
(domain measurementReading 1 MeasuringDevice) | Mid-level-ontology.kif 2929-2929 | Die Zahl 1 Argument von measurementReading ist ein fall von MeasuringDevice %n{nicht} |
antecedent |
(=> (instance ?DEVICE MeasuringDevice) (hasPurpose ?DEVICE (exists (?MEASURE) (and (instance ?MEASURE Measuring) (instrument ?MEASURE ?DEVICE))))) |
Merge.kif 16076-16082 |
|