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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BrakeShoe
BrakeShoe

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


(documentation BrakeShoe EnglishLanguage "A WearingFrictionSurface that is designed to press against a rotating BrakeDrum to cause vehicle braking.") Cars.kif 597-598
(subclass BrakeShoe WearingFrictionSurface) Cars.kif 596-596
(typicalPart BrakeShoe DrumBrake) Cars.kif 600-600

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


(termFormat EnglishLanguage BrakeShoe "brake shoe") Cars.kif 599-599

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


(=>
    (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
(=>
    (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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners