Device(Dispositivo) |
appearance as argument number 1 |
(documentation Device ChineseLanguage "Device 是一件 Artifact,它出现目的为了服务一件 Process 一个特定子类别的 instrument。") | chinese_format.kif 3618-3619 | |
(documentation Device EnglishLanguage "A Device is an Artifact whose purpose is to serve as an instrument in a specific subclass of Process.") | Merge.kif 15940-15941 | |
(subclass Device Artifact) | Merge.kif 15939-15939 | Dispositivo è una sottoclasse di Manufatto |
appearance as argument number 2 |
appearance as argument number 3 |
(domain OperatingFn 1 Device) | Mid-level-ontology.kif 17884-17884 | Il numero 1 argomenti di OperatingFn è un istanza di Dispositivo |
(domain effectiveRange 1 Device) | Mid-level-ontology.kif 1387-1387 | Il numero 1 argomenti di effectiveRange è un istanza di Dispositivo |
(domain maxDeviceOperatingTemp 1 Device) | ComputingBrands.kif 3620-3620 | Il numero 1 argomenti di maxDeviceOperatingTemp è un istanza di Dispositivo |
(domain maxDeviceStorageTemp 1 Device) | ComputingBrands.kif 3648-3648 | Il numero 1 argomenti di maxDeviceStorageTemp è un istanza di Dispositivo |
(domain minDeviceOperatingTemp 1 Device) | ComputingBrands.kif 3673-3673 | Il numero 1 argomenti di minDeviceOperatingTemp è un istanza di Dispositivo |
(domain minDeviceStorageTemp 1 Device) | ComputingBrands.kif 3698-3698 | Il numero 1 argomenti di minDeviceStorageTemp è un istanza di Dispositivo |
(domain powerComponent 1 Device) | Mid-level-ontology.kif 1734-1734 | Il numero 1 argomenti di powerComponent è un istanza di Dispositivo |
(domainSubclass PlayingInstrumentFn 1 Device) | Music.kif 827-827 | Il numero 1 argomento PlayingInstrumentFn è una sottoclasse diDispositivo |
(domainSubclass equipmentCount 2 Device) | Mid-level-ontology.kif 24310-24310 | Il numero 2 argomento equipmentCount è una sottoclasse diDispositivo |
(domainSubclass equipmentType 2 Device) | Mid-level-ontology.kif 24325-24325 | Il numero 2 argomento equipmentType è una sottoclasse diDispositivo |
antecedent |
consequent |