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 15658-15659 | |
(subclass Device Artifact) | Merge.kif 15657-15657 | Device is a subclass of artifact |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain OperatingFn 1 Device) | Mid-level-ontology.kif 17276-17276 | The number 1 argument of operating is an instance of device |
(domain effectiveRange 1 Device) | Mid-level-ontology.kif 1344-1344 | The number 1 argument of effective range is an instance of device |
(domain equipmentType 2 Device) | Mid-level-ontology.kif 23682-23682 | The number 2 argument of equipment type is an instance of device |
(domain maxDeviceOperatingTemp 1 Device) | ComputingBrands.kif 3583-3583 | The number 1 argument of maximum device operating temperature is an instance of device |
(domain maxDeviceStorageTemp 1 Device) | ComputingBrands.kif 3611-3611 | The number 1 argument of maximum device storage temperature is an instance of device |
(domain minDeviceOperatingTemp 1 Device) | ComputingBrands.kif 3636-3636 | The number 1 argument of minimum device operating temperature is an instance of device |
(domain minDeviceStorageTemp 1 Device) | ComputingBrands.kif 3661-3661 | The number 1 argument of minimum device storage temperature is an instance of device |
(domain powerComponent 1 Device) | Transportation.kif 1709-1709 | The number 1 argument of power component is an instance of device |
(domainSubclass PlayingInstrumentFn 1 Device) | Music.kif 824-824 | The number 1 argument of PlayingInstrumentFn is a subclass of device |
(domainSubclass equipmentCount 2 Device) | Mid-level-ontology.kif 23667-23667 | The number 2 argument of equipment count is a subclass of device |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |