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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BrakeShoe

Sigma KEE - BrakeShoe
BrakeShoebrake_shoe, shoe, skid

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