|
|
   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 ist eine teilkategorie von Artifact |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain OperatingFn 1 Device) | Mid-level-ontology.kif 17883-17883 | Die Zahl 1 Argument von OperatingFn ist ein fall von Device %n{nicht} |
| (domain effectiveRange 1 Device) | Mid-level-ontology.kif 1387-1387 | Die Zahl 1 Argument von effectiveRange ist ein fall von Device %n{nicht} |
| (domain maxDeviceOperatingTemp 1 Device) | ComputingBrands.kif 3620-3620 | Die Zahl 1 Argument von maxDeviceOperatingTemp ist ein fall von Device %n{nicht} |
| (domain maxDeviceStorageTemp 1 Device) | ComputingBrands.kif 3648-3648 | Die Zahl 1 Argument von maxDeviceStorageTemp ist ein fall von Device %n{nicht} |
| (domain minDeviceOperatingTemp 1 Device) | ComputingBrands.kif 3673-3673 | Die Zahl 1 Argument von minDeviceOperatingTemp ist ein fall von Device %n{nicht} |
| (domain minDeviceStorageTemp 1 Device) | ComputingBrands.kif 3698-3698 | Die Zahl 1 Argument von minDeviceStorageTemp ist ein fall von Device %n{nicht} |
| (domain powerComponent 1 Device) | Mid-level-ontology.kif 1734-1734 | Die Zahl 1 Argument von powerComponent ist ein fall von Device %n{nicht} |
| (domainSubclass PlayingInstrumentFn 1 Device) | Music.kif 827-827 | Die Zahl 1 Argument von PlayingInstrumentFn ist eine teilkategorie von Device %n{nicht} |
| (domainSubclass equipmentCount 2 Device) | Mid-level-ontology.kif 24309-24309 | Die Zahl 2 Argument von equipmentCount ist eine teilkategorie von Device %n{nicht} |
| (domainSubclass equipmentType 2 Device) | Mid-level-ontology.kif 24324-24324 | Die Zahl 2 Argument von equipmentType ist eine teilkategorie von Device %n{nicht} |
| 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 |
|
|
| (=> (and (attribute ?DEVICE ?ATTRIBUTE) (instance ?ATTRIBUTE DeviceAttribute)) (instance ?DEVICE Device)) |
Mid-level-ontology.kif 1833-1837 |
|
| (=> (and (instance ?EG EngineGovernor) (instance ?E Engine) (connectedEngineeringComponents ?EG ?E) (governorSpeed ?E (MeasureFn ?S MilesPerHour))) (hasPurpose ?EG (not (exists (?R ?P ?M) (and (instance ?P Device) (part ?P ?E) (instance ?R Rotating) (holdsDuring (WhenFn ?R) (and (measure ?P (MeasureFn ?M MilesPerHour)) (greaterThan ?M ?S)))))))) |
Cars.kif 2936-2954 |
|
| (=> (and (instance ?INSTALL Installing) (patient ?INSTALL ?DEVICE)) (instance ?DEVICE Device)) |
Mid-level-ontology.kif 17890-17894 |
|
| (=> (and (instance ?P TurningOffDevice) (patient ?P ?D)) (instance ?D Device)) |
Mid-level-ontology.kif 1083-1087 |
|
| (=> (and (instance ?P TurningOnDevice) (patient ?P ?D)) (instance ?D Device)) |
Mid-level-ontology.kif 1107-1111 |
|
| (=> (instance ?COMP EngineeringComponent) (exists (?DEVICE) (and (instance ?DEVICE Device) (component ?COMP ?DEVICE)))) |
Merge.kif 16088-16093 |
|
| (=> (instance ?DEVICE SelfPoweredDevice) (exists (?SOURCE) (and (instance ?SOURCE Device) (powerComponent ?SOURCE ?DEVICE)))) |
Mid-level-ontology.kif 2755-2760 |
|
| (=> (instance ?M SurfaceWindSpeedMeasuring) (exists (?PLACE ?TOOL) (and (instance ?PLACE GeographicArea) (instance ?TOOL Device) (eventLocated ?M ?PLACE) (instrument ?M ?TOOL) (holdsDuring (WhenFn ?M) (elevation ?TOOL (MeasureFn 10.0 Meter)))))) |
Weather.kif 1728-1738 |
|
| (=> (instance ?S RecordingStudio) (exists (?D) (and (instance ?D Device) (hasPurpose ?D (exists (?R ?P) (and (instance ?R Recording) (instrument ?P ?D) (result ?P ?R)))) (located ?D ?S)))) |
Music.kif 36-47 |
|
| (=> (instance ?SCUBA ScubaDiving) (exists (?WATER ?DEVICE ?BREATH) (and (instance ?WATER WaterArea) (orientation ?SCUBA ?WATER Below) (instance ?DEVICE Device) (instance ?BREATH Breathing) (instrument ?BREATH ?DEVICE) (subProcess ?BREATH ?SCUBA)))) |
Mid-level-ontology.kif 26890-26899 |
|
| (=> (instance ?X BabyMonitoringSystem) (exists (?TX ?RX) (and (instance ?RX RadioReceiver) (instance ?TX Device) (engineeringSubcomponent ?RX ?X) (engineeringSubcomponent ?TX ?X) (hasPurpose ?X (exists (?BABY ?CARER ?SOUND ?LOC1 ?LOC2 ?PROC ?RADIO) (and (instance ?BABY HumanBaby) (instance ?CARER Human) (located ?BABY ?LOC1) (located ?CARER ?LOC2) (not (equal ?LOC1 ?LOC2)) (instance ?PROC Maintaining) (patient ?PROC ?BABY) (agent ?PROC ?CARER) (located ?TX ?LOC1) (located ?RX ?LOC2) (instance ?SOUND RadiatingSound) (eventLocated ?SOUND ?LOC1) (instance ?RADIO RadioEmission) (patient ?RADIO ?SOUND) (destination ?RADIO ?RX) (agent ?RADIO ?TX))))))) |
Communications.kif 258-284 |
|
| (=> (instance ?X RemoteControl) (hasPurpose ?X (exists (?SIGNAL ?DEVICE) (and (instance ?SIGNAL ElectronicSignalling) (agent ?SIGNAL ?X) (destination ?SIGNAL ?DEVICE) (instance ?DEVICE Device) (not (part ?X ?DEVICE)))))) |
engineering.kif 1121-1131 |
|
|
|
|