DeviceDamaged - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - DeviceDamaged

DeviceDamaged

appearance as argument number 1

(contraryAttribute DeviceDamaged DeviceNormal)	Mid-level-ontology.kif 27591-27591	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 27592-27596
(instance DeviceDamaged InternalAttribute)	Mid-level-ontology.kif 27590-27590	DeviceDamaged is an instance of internal attribute

antecedent

(=> (and (attribute ?D DeviceDamaged) (hasPurpose ?D ?F)) (not (modalAttribute ?F Possibility)))	Mid-level-ontology.kif 27611-27616	If DeviceDamaged is an attribute of an object and the object purpose a formula, then the statement the formula doesn't have 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 ?D ?R)))))))	Mid-level-ontology.kif 27598-27609	If DeviceDamaged is an attribute of a time interval, then there exists the time intervalAM such that the time intervalAM is an instance of damaging and the time interval is a patient of the time intervalAM and there doesn't exist another time interval such that the other time interval is an instance of repairing and the time interval is a patient of the other time interval and the time interval happens earlier than the other time interval

consequent

(<=> (instance ?DV DamagedVehicle) (and (instance ?DV Vehicle) (attribute ?DV DeviceDamaged)))	Mid-level-ontology.kif 28258-28262	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 28244-28252	If a process is an instance of damaging and an entity is an instance of device and the entity is a patient of the process, then DeviceDamaged is an attribute of the entity holds during immediately after the time of existence of the process
(=> (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	If maximum device operating temperature of an entity is another entity and the entity is located at a third entity and device on is an attribute of the entity and a fourth entity is an air temperature of the third entity and the fourth entity is greater than the other entity holds during a time position, then the statement DeviceDamaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
(=> (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	If maximum device storage temperature of an entity is another entity and the entity is located at a third entity and device off is an attribute of the entity and a fourth entity is an air temperature of the third entity and the fourth entity is greater than the other entity holds during a time position, then the statement DeviceDamaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
(=> (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	If minimum device operating temperature of an entity is another entity and the entity is located at a third entity and device on is an attribute of the entity and a fourth entity is an air temperature of the third entity and the fourth entity is less than the other entity holds during a time position, then the statement DeviceDamaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
(=> (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	If minimum device storagqqqe temperature of an entity is another entity and the entity is located at a third entity and device off is an attribute of the entity and a fourth entity is an air temperature of the third entity and the fourth entity is less than the other entity holds during a time position, then the statement DeviceDamaged is an attribute of the entity holds during immediately after the time position 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners