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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeviceDamaged
DeviceDamagedbroken, busted

appearance as argument number 1
-------------------------


(contraryAttribute DeviceDamaged DeviceNormal) Mid-level-ontology.kif 27579-27579 DeviceDamaged is the opposite of DeviceNormal
(documentation DeviceDamaged EnglishLanguage "An Attribute stating that the Device has been subjected to a Damaging, and has not had a subsequent succesful Repairing, and cannot function as to its intended hasPurpose. Note that this does not include cosmetic damage that does not change the function of the Object.") Mid-level-ontology.kif 27580-27584
(instance DeviceDamaged InternalAttribute) Mid-level-ontology.kif 27578-27578 DeviceDamaged is an instance of internal attribute

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


(=>
    (and
        (attribute ?D DeviceDamaged)
        (hasPurpose ?D ?F))
    (not
        (modalAttribute ?F Possibility)))
Mid-level-ontology.kif 27599-27604
(=>
    (attribute ?D DeviceDamaged)
    (exists (?DAM)
        (and
            (instance ?DAM Damaging)
            (patient ?DAM ?D)
            (not
                (exists (?R)
                    (and
                        (instance ?R Repairing)
                        (patient ?R ?D)
                        (earlier ?D ?R)))))))
Mid-level-ontology.kif 27586-27597

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


(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))
Mid-level-ontology.kif 28246-28250 An object is an instance of DamagedVehicle if and only if the object is an instance of vehicle and DeviceDamaged is an attribute of the object
(=>
    (and
        (instance ?DAM Damaging)
        (instance ?OBJ Device)
        (patient ?DAM ?OBJ))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?DAM))
        (attribute ?OBJ DeviceDamaged)))
Mid-level-ontology.kif 28232-28240
(=>
    (holdsDuring ?T
        (and
            (maxDeviceOperatingTemp ?D ?T1)
            (located ?D ?A)
            (attribute ?D DeviceOn)
            (airTemperature ?A ?T2)
            (greaterThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))
ComputingBrands.kif 3621-3631
(=>
    (holdsDuring ?T
        (and
            (maxDeviceStorageTemp ?D ?T1)
            (located ?D ?A)
            (attribute ?D DeviceOff)
            (airTemperature ?A ?T2)
            (greaterThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))
ComputingBrands.kif 3646-3656
(=>
    (holdsDuring ?T
        (and
            (minDeviceOperatingTemp ?D ?T1)
            (located ?D ?A)
            (attribute ?D DeviceOn)
            (airTemperature ?A ?T2)
            (lessThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))
ComputingBrands.kif 3668-3678
(=>
    (holdsDuring ?T
        (and
            (minDeviceStorageTemp ?D ?T1)
            (located ?D ?A)
            (attribute ?D DeviceOff)
            (airTemperature ?A ?T2)
            (lessThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))
ComputingBrands.kif 3691-3701


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners