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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BrakeShoe
BrakeShoe(brake shoe)brake_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 Brake shoe is a subclass of wearing friction surface
(typicalPart BrakeShoe DrumBrake) Cars.kif 600-600 A brake shoe is typically a part of a drum brake

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


(termFormat EnglishLanguage BrakeShoe "brake shoe") Cars.kif 599-599 "brake shoe" is the printable form of brake shoe in english language

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