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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Friction
Friction(friction)adhesive_friction, friction, grip, rubbing, traction

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


s__documentation(s__Friction,s__EnglishLanguage,'"A MechanicalProcess in which mechanical energy is converted into a heat"')

engineering.kif 641-642
s__subclass(s__Friction,s__MechanicalProcess)

s__instance(s__Friction,s__SetOrClass)

s__instance(s__MechanicalProcess,s__SetOrClass)

engineering.kif 643-643 Friction is a subclass of mechanical process

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


s__termFormat(s__ChineseLanguage,s__Friction,'"摩擦"')

domainEnglishFormat.kif 25041-25041
s__termFormat(s__ChineseTraditionalLanguage,s__Friction,'"摩擦"')

domainEnglishFormat.kif 25040-25040
s__termFormat(s__EnglishLanguage,s__Friction,'"friction"')

domainEnglishFormat.kif 25039-25039

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


( ! [V__R,V__F,V__BP,V__BR] :
   (((s__instance(V__BP,s__BrakePad) &
         s__instance(V__BR,s__BrakeRotor) &
         s__instance(V__R,s__Rotating) &
         s__patient(V__R,V__BR)
       &
       s__instance(V__F,s__Friction) &
       s__resource(V__F,V__BP)
     &
     s__patient(V__F,V__BR))
=>
(~(s__patient(V__R,V__BP))))
)
)

Cars.kif 617-627
( ! [V__BS,V__BD,V__R,V__F] :
   (((s__instance(V__BS,s__BrakeShoe) &
         s__instance(V__BD,s__BrakeDrum) &
         s__instance(V__R,s__Rotating) &
         s__patient(V__R,V__BD)
       &
       s__instance(V__F,s__Friction) &
       s__resource(V__F,V__BS)
     &
     s__patient(V__F,V__BD))
=>
(~(s__patient(V__R,V__BS))))
)
)

Cars.kif 639-649

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707
No TPTP formula. May not be expressible in strict first order. Cars.kif 607-615
No TPTP formula. May not be expressible in strict first order. Cars.kif 629-637
No TPTP formula. May not be expressible in strict first order. Cars.kif 588-594
No TPTP formula. May not be expressible in strict first order. Cars.kif 4456-4466


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