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 16012-16013 | |
(subclass Device Artifact) | Merge.kif 16011-16011 | 设备 是 人工制品 的 subclass |
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 30103-30111 | |
(=> (and (powerComponent ?G ?O) (instance ?O Device)) (instance ?O SelfPoweredDevice)) |
Mid-level-ontology.kif 1735-1739 | |
(=> (instance ?DEVICE Device) (exists (?PROC) (capability ?PROC instrument ?DEVICE))) |
Merge.kif 16015-16018 | |
(=> (instance ?DEVICE Device) (exists (?PROC) (hasPurpose ?DEVICE (exists (?INST) (and (instance ?INST ?PROC) (instrument ?INST ?DEVICE)))))) |
Merge.kif 16020-16027 |
consequent |