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 | デバイス は アーチファクト の subclass では %n |
appearance as argument number 2 |
appearance as argument number 3 |
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 |