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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BrakePad

Sigma KEE - BrakePad
BrakePad

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


s__documentation(s__BrakePad,s__EnglishLanguage,'A WearingFrictionSurface that presses against a BrakeRotor to cause vehicle braking.')

Cars.kif 656-657
s__instance(s__BrakePad,s__SetOrClass)

s__instance(s__WearingFrictionSurface,s__SetOrClass)

s__subclass(s__BrakePad,s__WearingFrictionSurface)

Cars.kif 658-658 BrakePadWearingFrictionSurfacesubclass
s__typicalPart(s__BrakePad,s__DiscBrake)

Cars.kif 655-655 typicalPart BrakePad and DiscBrake

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


( ! [V__BP,V__BR,V__R,V__F] :
   ((s__instance(V__BP,s__BrakePad)s__and__ms__instance(V__BR,s__BrakeRotor)s__and__ms__instance(V__R,s__Rotating)s__and__ms__patient(V__R,V__BR)
    s__and__ms__instance(V__F,s__Friction)s__and__ms__resource(V__F,V__BP)
  s__and__ms__patient(V__F,V__BR))
s__=>(s__not__ms__patient(V__R,V__BP)))
)

Cars.kif 617-627
No TPTP formula. May not be expressible in strict first order. Cars.kif 607-615


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners