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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DeviceDamaged

 Sigma KEE - DeviceDamaged
DeviceDamaged

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


(contraryAttribute DeviceDamaged DeviceNormal) Mid-level-ontology.kif 29489-29489 DeviceDamaged wird DeviceNormal entgegengesetzet %n{nicht}
(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 29490-29494
(instance DeviceDamaged InternalAttribute) Mid-level-ontology.kif 29488-29488 DeviceDamaged ist ein fall von InternalAttribute %n{nicht}

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


(termFormat EnglishLanguage DeviceDamaged "device damaged") domainEnglishFormat.kif 64764-64764

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


(=>
    (and
        (attribute ?D DeviceDamaged)
        (hasPurpose ?D ?F))
    (not
        (modalAttribute ?F Possibility)))		 Mid-level-ontology.kif 29509-29514
(=>
    (attribute ?D DeviceDamaged)
    (exists (?DAM)
        (and
            (instance ?DAM Damaging)
            (patient ?DAM ?D)
            (not
                (exists (?R)
                    (and
                        (instance ?R Repairing)
                        (patient ?R ?D)
                        (earlier
                            (WhenFn ?DAM)
                            (WhenFn ?R))))))))		 Mid-level-ontology.kif 29496-29507

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


(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))		 Mid-level-ontology.kif 30118-30122 Object ist ein fall von DamagedVehicle %n{nicht} genau dann wenn ** Object ist ein fall von Vehicle %n{nicht} und DeviceDamaged ist ein attribut von ** Object %n{nicht}
(=>
    (and
        (instance ?DAM Damaging)
        (instance ?OBJ Device)
        (patient ?DAM ?OBJ))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?DAM))
        (attribute ?OBJ DeviceDamaged)))		 Mid-level-ontology.kif 30103-30111
(=>
    (holdsDuring ?T
        (and
            (maxDeviceOperatingTemp ?D
                (MeasureFn ?T1 ?U))
            (instance ?U UnitOfTemperature)
            (located ?D ?A)
            (attribute ?D DeviceOn)
            (airTemperature ?A
                (MeasureFn ?T2 ?U))
            (greaterThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))		 ComputingBrands.kif 3629-3642
(=>
    (holdsDuring ?T
        (and
            (maxDeviceStorageTemp ?D
                (MeasureFn ?T1 ?U))
            (instance ?U UnitOfTemperature)
            (located ?D ?A)
            (attribute ?D DeviceOff)
            (airTemperature ?A
                (MeasureFn ?T2 ?U))
            (greaterThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))		 ComputingBrands.kif 3657-3670
(=>
    (holdsDuring ?T
        (and
            (minDeviceOperatingTemp ?D
                (MeasureFn ?T1 ?U))
            (instance ?U UnitOfTemperature)
            (located ?D ?A)
            (attribute ?D DeviceOn)
            (airTemperature ?A
                (MeasureFn ?T2 ?U))
            (lessThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))		 ComputingBrands.kif 3682-3695
(=>
    (holdsDuring ?T
        (and
            (minDeviceStorageTemp ?D
                (MeasureFn ?T1 ?U))
            (instance ?U UnitOfTemperature)
            (located ?D ?A)
            (attribute ?D DeviceOff)
            (airTemperature ?A
                (MeasureFn ?T2 ?U))
            (lessThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))		 ComputingBrands.kif 3708-3721


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

Show without tree


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