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
( ! [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
No TPTP formula. May not be expressible in strict first order. Cars.kif 1314-1348
( ! [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
No TPTP formula. May not be expressible in strict first order. Cars.kif 567-580
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25490-25508
( ! [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
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3600-3613
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3653-3666

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1010-1020
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1034-1044
No TPTP formula. May not be expressible in strict first order. Cars.kif 3931-3946


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