Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Device
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 15746-15747
(subclass Device Artifact) Merge.kif 15745-15745 subclass Device and Artifact

appearance as argument number 2
-------------------------


(subclass Aerator Device) Mid-level-ontology.kif 1845-1845 subclass Aerator and Device
(subclass AnimalController Device) Mid-level-ontology.kif 2697-2697 subclass AnimalController and Device
(subclass AnimalPoweredDevice Device) Mid-level-ontology.kif 2725-2725 subclass AnimalPoweredDevice and Device
(subclass AttachingDevice Device) Merge.kif 15818-15818 subclass AttachingDevice and Device
(subclass AutomobileMuffler Device) Cars.kif 2613-2613 subclass AutomobileMuffler and Device
(subclass Axle Device) Mid-level-ontology.kif 3498-3498 subclass Axle and Device
(subclass BallBearing Device) Cars.kif 1404-1404 subclass BallBearing and Device
(subclass Barricade Device) MilitaryDevices.kif 2015-2015 subclass Barricade and Device
(subclass Baton Device) Mid-level-ontology.kif 2813-2813 subclass Baton and Device
(subclass Brake Device) Cars.kif 538-538 subclass Brake and Device
(subclass BrakeCaliper Device) Cars.kif 672-672 subclass BrakeCaliper and Device
(subclass BrakeDrum Device) Cars.kif 666-666 subclass BrakeDrum and Device
(subclass BrakePedal Device) Cars.kif 677-677 subclass BrakePedal and Device
(subclass BrakeRotor Device) Cars.kif 660-660 subclass BrakeRotor and Device
(subclass BrushOrComb Device) Mid-level-ontology.kif 1883-1883 subclass BrushOrComb and Device
(subclass Cam Device) Cars.kif 1634-1634 subclass Cam and Device
(subclass Camera Device) Mid-level-ontology.kif 13174-13174 subclass Camera and Device
(subclass CanalLockGate Device) Transportation.kif 3071-3071 subclass CanalLockGate and Device
(subclass Chimney Device) Mid-level-ontology.kif 14894-14894 subclass Chimney and Device
(subclass CleaningDevice Device) Mid-level-ontology.kif 5545-5545 subclass CleaningDevice and Device
(subclass Clutch Device) Cars.kif 1808-1808 subclass Clutch and Device
(subclass CombustionChamber Device) Cars.kif 1695-1695 subclass CombustionChamber and Device
(subclass Compass Device) Mid-level-ontology.kif 2223-2223 subclass Compass and Device
(subclass CoolingDevice Device) Mid-level-ontology.kif 2245-2245 subclass CoolingDevice and Device
(subclass Distributor Device) Cars.kif 2267-2267 subclass Distributor 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 17717-17717 domain OperatingFn, 1 and Device
(domain effectiveRange 1 Device) Mid-level-ontology.kif 1354-1354 domain effectiveRange, 1 and Device
(domain maxDeviceOperatingTemp 1 Device) ComputingBrands.kif 3618-3618 domain maxDeviceOperatingTemp, 1 and Device
(domain maxDeviceStorageTemp 1 Device) ComputingBrands.kif 3646-3646 domain maxDeviceStorageTemp, 1 and Device
(domain minDeviceOperatingTemp 1 Device) ComputingBrands.kif 3671-3671 domain minDeviceOperatingTemp, 1 and Device
(domain minDeviceStorageTemp 1 Device) ComputingBrands.kif 3696-3696 domain minDeviceStorageTemp, 1 and Device
(domain powerComponent 1 Device) Mid-level-ontology.kif 1697-1697 domain powerComponent, 1 and Device
(domainSubclass PlayingInstrumentFn 1 Device) Music.kif 825-825 domainSubclass PlayingInstrumentFn, 1 and Device

antecedent
-------------------------


(=>
    (and
        (instance ?AP InternetAccessPoint)
        (instance ?DEVICE Device))
    (holdsDuring
        (WhenFn
            (connectedEngineeringComponents ?DEVICE ?AP))
        (engineeringSubcomponent ?DEVICE Internet)))
Hotel.kif 1365-1371
(=>
    (and
        (powerComponent ?G ?O)
        (instance ?O Device))
    (instance ?O SelfPoweredDevice))
Mid-level-ontology.kif 1705-1709
(=>
    (instance ?DEVICE Device)
    (exists (?PROC)
        (capability ?PROC instrument ?DEVICE)))
Merge.kif 15749-15752
(=>
    (instance ?DEVICE Device)
    (exists (?PROC)
        (hasPurpose ?DEVICE
            (exists (?INST)
                (and
                    (instance ?INST ?PROC)
                    (instrument ?INST ?DEVICE))))))
Merge.kif 15754-15761

consequent
-------------------------


(=>
    (and
        (attribute ?DEVICE ?ATTRIBUTE)
        (instance ?ATTRIBUTE DeviceAttribute))
    (instance ?DEVICE Device))
Mid-level-ontology.kif 1796-1800
(=>
    (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 2930-2948
(=>
    (and
        (instance ?INSTALL Installing)
        (patient ?INSTALL ?DEVICE))
    (instance ?DEVICE Device))
Mid-level-ontology.kif 17724-17728
(=>
    (and
        (instance ?P TurningOffDevice)
        (patient ?P ?D))
    (instance ?D Device))
Mid-level-ontology.kif 1050-1054
(=>
    (and
        (instance ?P TurningOnDevice)
        (patient ?P ?D))
    (instance ?D Device))
Mid-level-ontology.kif 1074-1078
(=>
    (instance ?COMP EngineeringComponent)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE Device)
            (component ?COMP ?DEVICE))))
Merge.kif 15872-15877
(=>
    (instance ?DEVICE SelfPoweredDevice)
    (exists (?SOURCE)
        (and
            (instance ?SOURCE Device)
            (powerComponent ?SOURCE ?DEVICE))))
Mid-level-ontology.kif 2718-2723
(=>
    (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 1732-1742
(=>
    (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 ?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 1120-1130


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners