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 15824-15825 | |
(subclass Device Artifact) | Merge.kif 15823-15823 | Device is a subclass of artifact |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain OperatingFn 1 Device) | Mid-level-ontology.kif 17731-17731 | The number 1 argument of operating is an instance of device |
(domain effectiveRange 1 Device) | Mid-level-ontology.kif 1359-1359 | The number 1 argument of effective range is an instance of device |
(domain equipmentType 2 Device) | Mid-level-ontology.kif 24401-24401 | The number 2 argument of equipment type is an instance of device |
(domain maxDeviceOperatingTemp 1 Device) | ComputingBrands.kif 3618-3618 | The number 1 argument of maximum device operating temperature is an instance of device |
(domain maxDeviceStorageTemp 1 Device) | ComputingBrands.kif 3646-3646 | The number 1 argument of maximum device storage temperature is an instance of device |
(domain minDeviceOperatingTemp 1 Device) | ComputingBrands.kif 3671-3671 | The number 1 argument of minimum device operating temperature is an instance of device |
(domain minDeviceStorageTemp 1 Device) | ComputingBrands.kif 3696-3696 | The number 1 argument of minimum device storage temperature is an instance of device |
(domain powerComponent 1 Device) | Mid-level-ontology.kif 1706-1706 | The number 1 argument of power component is an instance of device |
(domainSubclass PlayingInstrumentFn 1 Device) | Music.kif 826-826 | The number 1 argument of playing instrument fn is a subclass of device |
(domainSubclass equipmentCount 2 Device) | Mid-level-ontology.kif 24386-24386 | The number 2 argument of equipment count is a subclass of device |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |