Device
|
|
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 15962-15963 | |
(subclass Device Artifact) | Merge.kif 15961-15961 | 子類 Device and Artifact |
appearance as argument number 2 |
(subclass Aerator Device) | Mid-level-ontology.kif 1882-1882 | 子類 增氧機 and Device |
(subclass AnimalController Device) | Mid-level-ontology.kif 2734-2734 | 子類 動物控制器 and Device |
(subclass AnimalPoweredDevice Device) | Mid-level-ontology.kif 2762-2762 | 子類 動物動力裝置 and Device |
(subclass AttachingDevice Device) | Merge.kif 16034-16034 | 子類 附著裝置 and Device |
(subclass AudioRecorder Device) | Mid-level-ontology.kif 26233-26233 | 子類 AudioRecorder and Device |
(subclass AutomobileMuffler Device) | Cars.kif 2619-2619 | 子類 AutomobileMuffler and Device |
(subclass Axle Device) | Mid-level-ontology.kif 3535-3535 | 子類 軸 and Device |
(subclass BallBearing Device) | Cars.kif 1404-1404 | 子類 BallBearing and Device |
(subclass Barricade Device) | MilitaryDevices.kif 2015-2015 | 子類 壅 and Device |
(subclass Baton Device) | Mid-level-ontology.kif 2850-2850 | 子類 指揮棒 and Device |
(subclass Brake Device) | Cars.kif 538-538 | 子類 Brake and Device |
(subclass BrakeCaliper Device) | Cars.kif 672-672 | 子類 BrakeCaliper and Device |
(subclass BrakeDrum Device) | Cars.kif 666-666 | 子類 BrakeDrum and Device |
(subclass BrakePedal Device) | Cars.kif 677-677 | 子類 BrakePedal and Device |
(subclass BrakeRotor Device) | Cars.kif 660-660 | 子類 BrakeRotor and Device |
(subclass BrushOrComb Device) | Mid-level-ontology.kif 1920-1920 | 子類 刷子或梳子 and Device |
(subclass Cam Device) | Cars.kif 1640-1640 | 子類 Cam and Device |
(subclass Camera Device) | Mid-level-ontology.kif 13312-13312 | 子類 相機 and Device |
(subclass CanalLockGate Device) | Transportation.kif 3072-3072 | 子類 運河閘門 and Device |
(subclass Carabiner Device) | Mid-level-ontology.kif 30773-30773 | 子類 Carabiner and Device |
(subclass Chimney Device) | Mid-level-ontology.kif 15033-15033 | 子類 煙囪 and Device |
(subclass CleaningDevice Device) | Mid-level-ontology.kif 5587-5587 | 子類 清潔設備 and Device |
(subclass Clutch Device) | Cars.kif 1814-1814 | 子類 Clutch and Device |
(subclass CombustionChamber Device) | Cars.kif 1701-1701 | 子類 CombustionChamber and Device |
(subclass Compass Device) | Mid-level-ontology.kif 2260-2260 | 子類 羅盤 and Device |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
(domain OperatingFn 1 Device) | Mid-level-ontology.kif 17883-17883 | 域 操作, 1 and Device |
(domain effectiveRange 1 Device) | Mid-level-ontology.kif 1387-1387 | 域 有效範圍, 1 and Device |
(domain maxDeviceOperatingTemp 1 Device) | ComputingBrands.kif 3620-3620 | 域 maxDeviceOperatingTemp, 1 and Device |
(domain maxDeviceStorageTemp 1 Device) | ComputingBrands.kif 3648-3648 | 域 maxDeviceStorageTemp, 1 and Device |
(domain minDeviceOperatingTemp 1 Device) | ComputingBrands.kif 3673-3673 | 域 minDeviceOperatingTemp, 1 and Device |
(domain minDeviceStorageTemp 1 Device) | ComputingBrands.kif 3698-3698 | 域 minDeviceStorageTemp, 1 and Device |
(domain powerComponent 1 Device) | Mid-level-ontology.kif 1734-1734 | 域 功率元件, 1 and Device |
(domainSubclass PlayingInstrumentFn 1 Device) | Music.kif 827-827 | 域子類 PlayingInstrumentFn, 1 and Device |
(domainSubclass equipmentCount 2 Device) | Mid-level-ontology.kif 24309-24309 | 域子類 設備數量, 2 and Device |
(domainSubclass equipmentType 2 Device) | Mid-level-ontology.kif 24324-24324 | 域子類 設備類型, 2 and Device |
antecedent |
(=> (and (instance ?AP InternetAccessPoint) (instance ?DEVICE Device)) (holdsDuring (WhenFn (connectedEngineeringComponents ?DEVICE ?AP)) (engineeringSubcomponent ?DEVICE Internet))) |
Hotel.kif 1365-1371 | |
(=> (and (instance ?DAM Damaging) (instance ?OBJ Device) (patient ?DAM ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?DAM)) (attribute ?OBJ DeviceDamaged))) |
Mid-level-ontology.kif 30067-30075 | |
(=> (and (powerComponent ?G ?O) (instance ?O Device)) (instance ?O SelfPoweredDevice)) |
Mid-level-ontology.kif 1742-1746 | |
(=> (instance ?DEVICE Device) (exists (?PROC) (capability ?PROC instrument ?DEVICE))) |
Merge.kif 15965-15968 | |
(=> (instance ?DEVICE Device) (exists (?PROC) (hasPurpose ?DEVICE (exists (?INST) (and (instance ?INST ?PROC) (instrument ?INST ?DEVICE)))))) |
Merge.kif 15970-15977 |
consequent |