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

KB Term:  Term intersection
English Word: 

Sigma KEE - DeviceDamaged
DeviceDamaged(device damaged)broken, busted

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


(instance DeviceDamaged InternalAttribute) Merge.kif 1905-1905 Device damaged is an instance of internal attribute
(contraryAttribute DeviceDamaged DeviceNormal) Merge.kif 1906-1906 Device damaged is the opposite of device normal
(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.") Merge.kif 1907-1911 Device damaged is the opposite of device normal

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


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

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


(=>
    (and
        (capability ?PROCESS ?ROLE ?OBJ)
        (instance ?OBJ Device)
        (not
            (attribute ?OBJ DeviceDamaged)))
    (modalAttribute
        (exists (?P)
            (and
                (instance ?P ?PROCESS)
                (?ROLE ?P ?OBJ))) Possibility))		 Merge.kif 4020-4030 If X is capable of doing Y as a Z, X is an instance of device, and device damaged is not an attribute of X, then the statement there exists W such that W is an instance of Y, Z W, and X has the modal force of possibility
(=>
    (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 32056-32067 If device damaged is an attribute of X, then there exists Y such that Y is an instance of damaging, X is a patient of Y, there doesn't exist Z such that Z is an instance of repairing, X is a patient of Z, and the time of existence of Y happens earlier than the time of existence of Z
(=>
    (and
        (attribute ?D DeviceDamaged)
        (hasPurpose ?D ?F))
    (not
        (modalAttribute ?F Possibility)))		 Mid-level-ontology.kif 32069-32074 If device damaged is an attribute of X and X has the purpose Y, then the statement Y doesn't have the modal force of possibility

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


(=>
    (and
        (instance ?S Salvaging)
        (patient ?S ?A))
    (or
        (attribute ?A ArtifactNotFitForPurpose)
        (attribute ?A DeviceDamaged)))		 Mid-level-ontology.kif 19091-19097 If X is an instance of salvaging and Y is a patient of X, then artifact not fit for purpose is an attribute of Y or device damaged is an attribute of Y
(=>
    (and
        (instance ?DAM Damaging)
        (instance ?OBJ Device)
        (patient ?DAM ?OBJ))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?DAM))
        (attribute ?OBJ DeviceDamaged)))		 Mid-level-ontology.kif 32687-32695 If X is an instance of damaging, Y is an instance of device, and Y is a patient of X, then device damaged is an attribute of Y holds during immediately after the time of existence of X
(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))		 Mid-level-ontology.kif 32702-32706 X is an instance of damaged vehicle if, only if X is an instance of vehicle, and device damaged is an attribute of X
(=>
    (devicePlannedDownTime ?D ?T)
    (holdsDuring ?T
        (and
            (attribute ?D DeviceOff)
            (not
                (attribute ?D DeviceDamaged)))))		 Mid-level-ontology.kif 34528-34534 If device X is scheduled to be in DeviceOff during TimeInterval Y, then device off is an attribute of X and device damaged is not an attribute of X holds during Y
(=>
    (deviceFailTime ?D ?F)
    (holdsDuring ?F
        (attribute ?D DeviceDamaged)))		 Mid-level-ontology.kif 34544-34547 If device X is in a failure state during TimeInterval Y, then device damaged is an attribute of X holds during Y
(=>
    (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 3535-3548 If maximum device operating temperature of X is Y Z(s) and Z is an instance of unit of temperature and X is located at W and device on is an attribute of X and V Z(s) is an air temperature of W and V is greater than Y holds during U, then the statement device damaged is an attribute of X holds during immediately after U has the modal force of likely
(=>
    (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 3563-3576 If maximum device storage temperature of X is Y Z(s) and Z is an instance of unit of temperature and X is located at W and device off is an attribute of X and V Z(s) is an air temperature of W and V is greater than Y holds during U, then the statement device damaged is an attribute of X holds during immediately after U has the modal force of likely
(=>
    (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 3588-3601 If minimum device operating temperature of X is Y Z(s) and Z is an instance of unit of temperature and X is located at W and device on is an attribute of X and V Z(s) is an air temperature of W and V is less than Y holds during U, then the statement device damaged is an attribute of X holds during immediately after U has the modal force of likely
(=>
    (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 3614-3627 If minimum device storagqqqe temperature of X is Y Z(s) and Z is an instance of unit of temperature and X is located at W and device off is an attribute of X and V Z(s) is an air temperature of W and V is less than Y holds during U, then the statement device damaged is an attribute of X holds during immediately after U has the modal force of likely


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners