DeviceOn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DeviceOn

DeviceOn(device on)

appearance as argument number 1

s__contraryAttribute__2(s__DeviceOn,s__DeviceOff)

ComputingBrands.kif 3615-3615

Device on is the opposite of device off

s__instance(s__DeviceStateAttribute,s__SetOrClass)

s__instance(s__DeviceOn,s__DeviceStateAttribute)

Mid-level-ontology.kif 1809-1809

Device on is an instance of device state attribute

appearance as argument number 2

s__termFormat(s__ChineseLanguage,s__DeviceOn,'"设备上"')	domainEnglishFormat.kif 19347-19347
s__termFormat(s__ChineseTraditionalLanguage,s__DeviceOn,'"設備上"')	domainEnglishFormat.kif 19346-19346
s__termFormat(s__EnglishLanguage,s__DeviceOn,'"device on"')	domainEnglishFormat.kif 19345-19345

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1741-1761	If a physical is an instance of cavitating and a self connected object is an instance of pump and device on is an attribute of the self connected object and liquid is an attribute of an object and the self connected object contains the object, then there exists the self connected objectP such that the self connected objectP is a part of the self connected object and the self connected objectP has the purpose liquid is an attribute of an entity and the entity meets the self connected objectP and there doesn't exist another entity such that liquid is an attribute of the other entity and the self connected objectP meets the other entity holds during the time of existence of the physical
( ! [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__DeviceOn)) => (~(( ? [V__M2] : ((s__instance(V__M2,s__Motion) & s__patient(V__M2,V__G) & s__causes(V__M,V__M2))))))) ) )	Cars.kif 1817-1836	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 on is an attribute of the object, then there doesn't exist 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
( ! [V__M] : (((s__instance(V__M,s__Microwave) & s__attribute(V__M,s__DeviceOn)) => (( ? [V__PROC] : ((s__instance(V__PROC,s__RadiatingElectromagnetic) & s__instrument(V__PROC,V__M)))))) ) )	Mid-level-ontology.kif 24432-24439	If an object is an instance of microwave and device on is an attribute of the object, then there exists a process such that the process is an instance of radiating electromagnetic and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 567-580	If an object is an instance of parking brake and another object is an instance of vehicle and device on is an attribute of the object holds during a time position and the object is a part of the other object, then the object has the purpose there doesn't exist an entity such that the entity is an instance of translocation and the other object is a patient of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25490-25508	If an object is an instance of fire alarm and device on is an attribute of the object and the object is located at another object, then there exists a process such that the process is an instance of radiating sound and the object is an instrument for the process and the process has the purpose there exists an entity such that the entity is an instance of group of people and the entity is located at the other object and the entity knows there exists another entity such that the other entity is an instance of fire and the other entity is located at 2
( ! [V__WATER,V__X,V__HEATER] : (((s__instance(V__X,s__HeatedPool) & s__contains(V__X,V__WATER) & s__instance(V__WATER,s__Water) & s__part(V__X,V__HEATER) & s__instance(V__HEATER,s__WaterHeater) & s__attribute(V__HEATER,s__DeviceOn)) => (s__attribute(V__WATER,s__WarmTemperature))) ) )	Mid-level-ontology.kif 25847-25855	If a self connected object is an instance of heated pool and the self connected object contains an object and the object is an instance of water and the self connected object is a part of another object and the other object is an instance of WaterHeater and device on is an attribute of the other object, then warm is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3600-3613	If maximum device operating 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 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 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 3653-3666	If minimum device operating 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 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 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3931-3946	If a physical is an instance of solenoid, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is a part of the physical and device on is an attribute of the physical and the entity is located at the fourth entity holds during the other entity and device on is an attribute of the physical and the entity is located at the fifth entity holds during the third entity and the fourth entity is not equal to the fifth entity

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