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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Gear
Gear(gear)cogwheel, gear, gear_wheel, geared_wheel, reduction_gear

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


(documentation Gear EnglishLanguage "a toothed wheel that engages another toothed mechanism in order to change the speed or direction of transmitted motion.") engineering.kif 753-754
(subclass Gear MechanicalDevice) engineering.kif 755-755 Gear is a subclass of mechanical device
(typicalPart Gear GearTrain) engineering.kif 761-761 A gear is typically a part of a gear train

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


(subclass BevelGear Gear) Cars.kif 1413-1413 Bevel gear is a subclass of gear
(termFormat ChineseLanguage Gear "齿轮") domainEnglishFormat.kif 25537-25537
(termFormat ChineseTraditionalLanguage Gear "齒輪") domainEnglishFormat.kif 25536-25536
(termFormat EnglishLanguage Gear "gear") domainEnglishFormat.kif 25535-25535

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


(=>
    (and
        (instance ?C Clutch)
        (instance ?A Automobile)
        (instance ?E Engine)
        (instance ?G Gearbox)
        (instance ?GEAR Gear)
        (part ?GEAR ?G)
        (part ?G ?A)
        (part ?C ?A)
        (part ?E ?A)
        (instance ?M Motion)
        (patient ?M ?E)
        (attribute ?C DeviceOff))
    (exists (?M2)
        (and
            (instance ?M2 Motion)
            (patient ?M2 ?G)
            (causes ?M ?M2))))
Cars.kif 1834-1852
(=>
    (and
        (instance ?C Clutch)
        (instance ?A Automobile)
        (instance ?E Engine)
        (instance ?G Gearbox)
        (instance ?GEAR Gear)
        (part ?GEAR ?G)
        (part ?G ?A)
        (part ?C ?A)
        (part ?E ?A)
        (instance ?M Motion)
        (patient ?M ?E)
        (attribute ?C DeviceOn))
    (not
        (exists (?M2)
            (and
                (instance ?M2 Motion)
                (patient ?M2 ?G)
                (causes ?M ?M2)))))
Cars.kif 1813-1832

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


(=>
    (instance ?D Differential)
    (exists (?G1 ?G2)
        (and
            (instance ?G1 Gear)
            (instance ?G2 Gear)
            (part ?G1 ?D)
            (part ?G2 ?D)
            (orientation ?G1 ?G2 RightAngle))))
Cars.kif 2244-2252


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