|
|
   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 15824-15825 | |
| (subclass Device Artifact) | Merge.kif 15823-15823 | Appareil est une sous-classe de artefact |
| appearance as argument number 2 |
|
|
| (subclass Aerator Device) | Mid-level-ontology.kif 1854-1854 | Aerator est une sous-classe de appareil |
| (subclass AnimalController Device) | Mid-level-ontology.kif 2706-2706 | AnimalController est une sous-classe de appareil |
| (subclass AnimalPoweredDevice Device) | Mid-level-ontology.kif 2734-2734 | AnimalPoweredDevice est une sous-classe de appareil |
| (subclass AttachingDevice Device) | Merge.kif 15896-15896 | AttachingDevice est une sous-classe de appareil |
| (subclass AudioRecorder Device) | Mid-level-ontology.kif 26343-26343 | AudioRecorder est une sous-classe de appareil |
| (subclass AutomobileMuffler Device) | Cars.kif 2613-2613 | AutomobileMuffler est une sous-classe de appareil |
| (subclass Axle Device) | Mid-level-ontology.kif 3507-3507 | Axle est une sous-classe de appareil |
| (subclass BallBearing Device) | Cars.kif 1404-1404 | BallBearing est une sous-classe de appareil |
| (subclass Barricade Device) | MilitaryDevices.kif 2015-2015 | Barricade est une sous-classe de appareil |
| (subclass Baton Device) | Mid-level-ontology.kif 2822-2822 | Baton est une sous-classe de appareil |
| (subclass Brake Device) | Cars.kif 538-538 | Brake est une sous-classe de appareil |
| (subclass BrakeCaliper Device) | Cars.kif 672-672 | BrakeCaliper est une sous-classe de appareil |
| (subclass BrakeDrum Device) | Cars.kif 666-666 | BrakeDrum est une sous-classe de appareil |
| (subclass BrakePedal Device) | Cars.kif 677-677 | BrakePedal est une sous-classe de appareil |
| (subclass BrakeRotor Device) | Cars.kif 660-660 | BrakeRotor est une sous-classe de appareil |
| (subclass BrushOrComb Device) | Mid-level-ontology.kif 1892-1892 | BrushOrComb est une sous-classe de appareil |
| (subclass Cam Device) | Cars.kif 1634-1634 | Cam est une sous-classe de appareil |
| (subclass Camera Device) | Mid-level-ontology.kif 13184-13184 | Camera est une sous-classe de appareil |
| (subclass CanalLockGate Device) | Transportation.kif 3072-3072 | CanalLockGate est une sous-classe de appareil |
| (subclass Carabiner Device) | Mid-level-ontology.kif 30890-30890 | Carabiner est une sous-classe de appareil |
| (subclass Chimney Device) | Mid-level-ontology.kif 14904-14904 | Chimney est une sous-classe de appareil |
| (subclass CleaningDevice Device) | Mid-level-ontology.kif 5555-5555 | CleaningDevice est une sous-classe de appareil |
| (subclass Clutch Device) | Cars.kif 1808-1808 | Clutch est une sous-classe de appareil |
| (subclass CombustionChamber Device) | Cars.kif 1695-1695 | CombustionChamber est une sous-classe de appareil |
| (subclass Compass Device) | Mid-level-ontology.kif 2232-2232 | Compass est une sous-classe de appareil |
| 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 17731-17731 | Le nombre 1 argument de OperatingFn est une instance de appareil |
| (domain effectiveRange 1 Device) | Mid-level-ontology.kif 1359-1359 | Le nombre 1 argument de effectiveRange est une instance de appareil |
| (domain equipmentType 2 Device) | Mid-level-ontology.kif 24401-24401 | Le nombre 2 argument de equipmentType est une instance de appareil |
| (domain maxDeviceOperatingTemp 1 Device) | ComputingBrands.kif 3618-3618 | Le nombre 1 argument de maxDeviceOperatingTemp est une instance de appareil |
| (domain maxDeviceStorageTemp 1 Device) | ComputingBrands.kif 3646-3646 | Le nombre 1 argument de maxDeviceStorageTemp est une instance de appareil |
| (domain minDeviceOperatingTemp 1 Device) | ComputingBrands.kif 3671-3671 | Le nombre 1 argument de minDeviceOperatingTemp est une instance de appareil |
| (domain minDeviceStorageTemp 1 Device) | ComputingBrands.kif 3696-3696 | Le nombre 1 argument de minDeviceStorageTemp est une instance de appareil |
| (domain powerComponent 1 Device) | Mid-level-ontology.kif 1706-1706 | Le nombre 1 argument de powerComponent est une instance de appareil |
| (domainSubclass PlayingInstrumentFn 1 Device) | Music.kif 826-826 | Le nombre 1 argument de PlayingInstrumentFn est une sous-classe de appareil |
| (domainSubclass equipmentCount 2 Device) | Mid-level-ontology.kif 24386-24386 | Le nombre 2 argument de equipmentCount est une sous-classe de appareil |
| 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 30184-30192 | |
| (=> (and (powerComponent ?G ?O) (instance ?O Device)) (instance ?O SelfPoweredDevice)) |
Mid-level-ontology.kif 1714-1718 |
|
| (=> (instance ?DEVICE Device) (exists (?PROC) (capability ?PROC instrument ?DEVICE))) |
Merge.kif 15827-15830 | |
| (=> (instance ?DEVICE Device) (exists (?PROC) (hasPurpose ?DEVICE (exists (?INST) (and (instance ?INST ?PROC) (instrument ?INST ?DEVICE)))))) |
Merge.kif 15832-15839 |
| consequent |
|
|
|
|
|