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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Friction
Friction

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


(documentation Friction EnglishLanguage "A MechanicalProcess in which mechanical energy is converted into a heat") engineering.kif 643-644
(subclass Friction MechanicalProcess) engineering.kif 645-645 Friction est une sous-classe de MechanicalProcess

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


(termFormat ChineseLanguage Friction "摩擦") domainEnglishFormat.kif 25074-25074
(termFormat ChineseTraditionalLanguage Friction "摩擦") domainEnglishFormat.kif 25073-25073
(termFormat EnglishLanguage Friction "friction") domainEnglishFormat.kif 25072-25072

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


(=>
    (and
        (instance ?BP BrakePad)
        (instance ?BR BrakeRotor)
        (instance ?R Rotating)
        (patient ?R ?BR)
        (instance ?F Friction)
        (resource ?F ?BP)
        (patient ?F ?BR))
    (not
        (patient ?R ?BP)))		 Cars.kif 617-627
(=>
    (and
        (instance ?BS BrakeShoe)
        (instance ?BD BrakeDrum)
        (instance ?R Rotating)
        (patient ?R ?BD)
        (instance ?F Friction)
        (resource ?F ?BS)
        (patient ?F ?BD))
    (not
        (patient ?R ?BS)))		 Cars.kif 639-649

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


(=>
    (and
        (instance ?BP BrakePedal)
        (instance ?P Pushing)
        (instance ?V Vehicle)
        (destination ?P ?BP)
        (eventLocated ?P ?V)
        (part ?BP ?V))
    (hasPurpose ?BP
        (exists (?FS ?F)
            (and
                (instance ?FS WearingFrictionSurface)
                (instance ?F Friction)
                (instrument ?F ?FS)
                (causes ?P ?F)))))		 Cars.kif 693-707
(=>
    (instance ?B BrakePad)
    (hasPurpose ?B
        (exists (?F ?BR)
            (and
                (instance ?F Friction)
                (resource ?F ?B)
                (instance ?BR BrakeRotor)
                (patient ?F ?BR)))))		 Cars.kif 607-615
(=>
    (instance ?B BrakeShoe)
    (hasPurpose ?B
        (exists (?F ?BD)
            (and
                (instance ?F Friction)
                (resource ?F ?B)
                (instance ?BD BrakeDrum)
                (patient ?F ?BD)))))		 Cars.kif 629-637
(=>
    (instance ?S WearingFrictionSurface)
    (hasPurpose ?S
        (exists (?F)
            (and
                (instance ?F Friction)
                (resource ?F ?S)))))		 Cars.kif 588-594
(=>
    (instance ?TC TireChain)
    (hasPurpose ?TC
        (exists (?V ?W ?F)
            (and
                (instance ?V RoadVehicle)
                (instance ?W Wheel)
                (part ?W ?V)
                (instance ?F Friction)
                (covers ?TC ?W)
                (instrument ?F ?TC)))))		 Cars.kif 4514-4524


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