DeviceOff - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DeviceOff

DeviceOff(device off)

appearance as argument number 1

s__instance(s__DeviceStateAttribute,s__Class)

s__instance(s__DeviceOff,s__DeviceStateAttribute)

Mid-level-ontology.kif 1807-1807

Device off is an instance of device state attribute

appearance as argument number 2

s__contraryAttribute__2(s__DeviceOn,s__DeviceOff)	ComputingBrands.kif 3615-3615	Device on is the opposite of device off
s__termFormat(s__ChineseLanguage,s__DeviceOff,'"设备关闭"')	domainEnglishFormat.kif 19341-19341
s__termFormat(s__ChineseTraditionalLanguage,s__DeviceOff,'"設備關閉"')	domainEnglishFormat.kif 19340-19340
s__termFormat(s__EnglishLanguage,s__DeviceOff,'"device off"')	domainEnglishFormat.kif 19339-19339

antecedent

( ! [V__A,V__C,V__E,V__GEAR,V__G,V__M] : (((s__instance(V__C,s__Clutch) & s__instance(V__A,s__Automobile) & s__instance(V__E,s__Engine) & s__instance(V__G,s__Gearbox) & s__instance(V__GEAR,s__Gear) & s__part(V__GEAR,V__G) & s__part(V__G,V__A) & s__part(V__C,V__A) & s__part(V__E,V__A) & s__instance(V__M,s__Motion) & s__patient(V__M,V__E) & s__attribute(V__C,s__DeviceOff)) => (( ? [V__M2] : ((s__instance(V__M2,s__Motion) & s__patient(V__M2,V__G) & s__causes(V__M,V__M2)))))) ) )	Cars.kif 1838-1856	If an object is an instance of clutch and another object is an instance of automobile and a third object is an instance of engine and a fourth object is an instance of gearbox and the fourth objectEAR is an instance of gear and the fourth objectEAR is a part of the fourth object and the fourth object is a part of the other object and the object is a part of the other object and the third object is a part of the other object and a process is an instance of motion and the third object is a patient of the process and device off is an attribute of the object, then there exists the process2 such that the process2 is an instance of motion and the fourth object is a patient of the process2 and the process causes the process2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1314-1348	If an entity is an instance of engine choke and device on is an attribute of the entity holds during a process and device off is an attribute of the entity holds during another process and a self connected object is an instance of EngineCylinder and a constant quantity is a capacity of the self connected object and the process is an instance of four stroke compression and the other process is an instance of four stroke compression and the process is located at 2 and the other process is located at 2 and an object is an instance of air and another object is an instance of fuel and the object is a part of the constant quantityIX1 and the other object is a part of the constant quantityIX1 and the measure of the constant quantityIX1 is the constant quantity and a fourth object is an instance of air and a fifth object is an instance of fuel and the fourth object is a part of the constant quantityIX2 and the fifth object is a part of the constant quantityIX2 and the measure of the constant quantityIX2 is the constant quantity and an unit of measure is an instance of unit of measure and the measure of the object is the objectM the unit of measure(s) and the measure of the fourth object is the fourth objectM the unit of measure(s) and the measure of the other object is the other objectM the unit of measure(s) and the measure of the fifth object is the fifth objectM the unit of measure(s), then the fourth objectM and the fifth objectM is greater than the objectM and the other objectM
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3628-3641	If maximum device storage temperature of an entity is another entity a third entity(s) and the third entity is an instance of UnitOfTemperature 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 DeviceDamaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3679-3692	If minimum device storagqqqe temperature of an entity is another entity a third entity(s) and the third entity is an instance of UnitOfTemperature 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 DeviceDamaged is an attribute of the entity holds during immediately after the time position has the modal force of likely

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1010-1020	If a process is an instance of turning off device and an entity is a patient of the process, then device on is an attribute of the entity holds during the beginning of the time of existence of the process and device off is an attribute of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1034-1044	If a process is an instance of turning on device and an entity is a patient of the process, then device off is an attribute of the entity holds during the beginning of the time of existence of the process and device on is an attribute of the entity holds during the end of the time of existence of the process

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