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(device damaged)

appearance as argument number 1

(contraryAttribute DeviceDamaged DeviceNormal)	Mid-level-ontology.kif 29426-29426	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.")	Mid-level-ontology.kif 29427-29431
(instance DeviceDamaged InternalAttribute)	Mid-level-ontology.kif 29425-29425	Device damaged is an instance of internal attribute

appearance as argument number 2

(termFormat EnglishLanguage DeviceDamaged "device damaged")

domainEnglishFormat.kif 64762-64762

antecedent

(=> (and (attribute ?D DeviceDamaged) (hasPurpose ?D ?F)) (not (modalAttribute ?F Possibility)))	Mid-level-ontology.kif 29446-29451	If device damaged is an attribute of an object and the object has the 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 (WhenFn ?DAM) (WhenFn ?R))))))))	Mid-level-ontology.kif 29433-29444	If device damaged is an attribute of an object, then there exists the objectAM such that the objectAM is an instance of damaging and the object is a patient of the objectAM and there doesn't exist another process such that the other process is an instance of repairing and the object is a patient of the other process and the time of existence of the objectAM happens earlier than the time of existence of the other process

consequent

(<=> (instance ?DV DamagedVehicle) (and (instance ?DV Vehicle) (attribute ?DV DeviceDamaged)))	Mid-level-ontology.kif 30082-30086	An object is an instance of damaged vehicle if and only if the object is an instance of vehicle and device damaged 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 30067-30075	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 device damaged is an attribute of the entity holds during immediately after the time of existence of the process
(=> (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	If maximum device operating temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device on is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is greater than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position 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 3657-3670	If maximum device storage temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device off is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is greater than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position 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 3682-3695	If minimum device operating temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device on is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is less than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position 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 3708-3721	If minimum device storagqqqe temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device off is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is less than the other entity holds during a time position, then the statement device damaged 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 3.0 is open source software produced by Articulate Software and its partners