Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Engine
Engine(engine)
automobile_engine, external-combustion_engine

appearance as argument number 1
-------------------------


s__documentation(s__Engine,s__EnglishLanguage,'"Engine is a subclass of Transducer. Engines are devices for converting some form of energy resource into mechanical power."')

Mid-level-ontology.kif 1661-1663
s__externalImage(s__Engine,'"http://upload.wikimedia.org/wikipedia/commons/1/1a/ Mazda_rotary_engine_early.jpg"')

pictureList.kif 86-86
s__subclass(s__Engine,s__Transducer)

s__instance(s__Transducer,s__SetOrClass)

s__instance(s__Engine,s__SetOrClass)

Mid-level-ontology.kif 1660-1660 Engine is a subclass of transducer

appearance as argument number 2
-------------------------


s__subclass(s__ElectricMotor,s__Engine)

s__instance(s__ElectricMotor,s__SetOrClass)

s__instance(s__Engine,s__SetOrClass)

Mid-level-ontology.kif 1717-1717 Electric motor is a subclass of engine
s__subclass(s__InternalCombustionEngine,s__Engine)

s__instance(s__InternalCombustionEngine,s__SetOrClass)

s__instance(s__Engine,s__SetOrClass)

Mid-level-ontology.kif 1698-1698 Internal combustion engine is a subclass of engine
s__subclass(s__OutboardEngine,s__Engine)

s__instance(s__OutboardEngine,s__SetOrClass)

s__instance(s__Engine,s__SetOrClass)

Cars.kif 4339-4339 Outboard motor is a subclass of engine
s__subclass(s__SteamEngine,s__Engine)

s__instance(s__SteamEngine,s__SetOrClass)

s__instance(s__Engine,s__SetOrClass)

Mid-level-ontology.kif 1686-1686 Steam engine is a subclass of engine
s__subclass(s__Turbine,s__Engine)

s__instance(s__Turbine,s__SetOrClass)

s__instance(s__Engine,s__SetOrClass)

Mid-level-ontology.kif 1690-1690 Turbine is a subclass of engine
s__termFormat(s__ChineseLanguage,s__Engine,'"发动机"')

domainEnglishFormat.kif 22071-22071
s__termFormat(s__ChineseTraditionalLanguage,s__Engine,'"發動機"')

domainEnglishFormat.kif 22070-22070
s__termFormat(s__EnglishLanguage,s__Engine,'"engine"')

domainEnglishFormat.kif 22069-22069

appearance as argument number 3
-------------------------


s__domain(s__compressionRatio__m,n__1,s__Engine)

Cars.kif 1920-1920 The number 1 argument of compressionRatio is an instance of engine
s__domain(s__engineCylinders__m,n__1,s__Engine)

Cars.kif 4528-4528 The number 1 argument of engineCylinders is an instance of engine
s__domain(s__maxCylinderVolume__m,n__1,s__Engine)

Cars.kif 1890-1890 The number 1 argument of maxCylinderVolume is an instance of engine
s__domain(s__minCylinderVolume__m,n__1,s__Engine)

Cars.kif 1859-1859 The number 1 argument of minCylinderVolume is an instance of engine
s__domain(s__pistonStroke__m,n__1,s__Engine)

Cars.kif 1936-1936 The number 1 argument of pistonStroke is an instance of engine

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1660-1668
( ! [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
( ! [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 1717-1733
No TPTP formula. May not be expressible in strict first order. Cars.kif 2142-2154
No TPTP formula. May not be expressible in strict first order. Cars.kif 2930-2948
( ! [V__E] :
   ((s__instance(V__E,s__Engine) =>
       (( ? [V__C] :
           ((s__instance(V__C,s__Crankcase) &
               (V__E = s__HoleHostFn(V__C)))))))
   )
)

Cars.kif 328-333

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 973-983
( ! [V__B] :
   ((s__instance(V__B,s__Backfire) =>
       (( ? [V__E, V__NC] :
           ((s__instance(V__NC,s__Object) &
               (~(s__instance(V__NC,s__EngineCylinder))
                 &
                 s__instance(V__E,s__Engine) &
                 s__part(V__NC,V__E)
               &
               s__eventLocated(V__B,V__NC)))))))
)
)

Cars.kif 1354-1362
No TPTP formula. May not be expressible in strict first order. Cars.kif 2274-2286
No TPTP formula. May not be expressible in strict first order. Cars.kif 2519-2532
No TPTP formula. May not be expressible in strict first order. Cars.kif 4591-4607
No TPTP formula. May not be expressible in strict first order. Cars.kif 2540-2555
No TPTP formula. May not be expressible in strict first order. Cars.kif 1000-1011
No TPTP formula. May not be expressible in strict first order. Cars.kif 4697-4708
No TPTP formula. May not be expressible in strict first order. Cars.kif 4614-4646
( ! [V__UD] :
   ((s__instance(V__UD,s__UnpoweredDevice) =>
       (~(( ? [V__E] :
             ((s__instance(V__E,s__Engine) &
                 s__part(V__E,V__UD)))))))
   )
)

Cars.kif 4488-4494
No TPTP formula. May not be expressible in strict first order. Cars.kif 3758-3772


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