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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Crankcase
Crankcasecrankcase

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


s__documentation(s__Crankcase,s__EnglishLanguage,'"A Hole in an InternalCombustionEngine where the Piston rods join with the Crankshaft."')

Cars.kif 325-326
s__instance(s__Crankcase,s__SetOrClass)

s__instance(s__Hole,s__SetOrClass)

s__subclass(s__Crankcase,s__Hole)

Cars.kif 324-324 Crankcase is a subclass of hole

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


s__typicalPart(s__Crankshaft,s__Crankcase)

Cars.kif 341-341 A Crankshaft is typically a part of a Crankcase
s__typicallyContainsPart(s__Crankshaft,s__Crankcase)

Cars.kif 342-342 A Crankcase typically has a part Crankshaft

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 509-521
No TPTP formula. May not be expressible in strict first order. Cars.kif 477-483

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


( ! [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
No TPTP formula. May not be expressible in strict first order. Cars.kif 3835-3851


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