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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TireChanger

Sigma KEE - TireChanger
TireChanger

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


(documentation TireChanger EnglishLanguage "A Device for putting Tires on WheelRims, or removing them.") Cars.kif 4883-4884
(subclass TireChanger Device) Cars.kif 4882-4882

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


(termFormat EnglishLanguage TireChanger "tire changer") Cars.kif 4885-4885

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


(=>
    (instance ?TC TireChanger)
    (hasPurpose ?TC
        (exists (?P ?T ?R)
            (and
                (instance ?P Putting)
                (instance ?T Tire)
                (instance ?R WheelRim)
                (destination ?P ?R)
                (objectTransferred ?P ?T)
                (instrument ?P ?TC)))))
Cars.kif 4887-4897
(=>
    (instance ?TC TireChanger)
    (hasPurpose ?TC
        (exists (?RE ?T ?R)
            (and
                (instance ?RE Removing)
                (instance ?T Tire)
                (instance ?R WheelRim)
                (origin ?RE ?R)
                (objectTransferred ?RE ?T)
                (instrument ?RE ?TC)))))
Cars.kif 4899-4909


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