ExternalGear - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ExternalGear Gear)	engineering.kif 854-854	External gear is a subclass of gear
(documentation ExternalGear EnglishLanguage "ExternalGears are Gears with teeth on the Outside of the Cylinder or cone. When two external gears mesh together they rotate in the opposite directions. [Wikipedia]")	engineering.kif 855-857	External gear is a subclass of gear

appearance as argument number 2

(termFormat EnglishLanguage ExternalGear " external gear")

antecedent

(=>
    (and
        (instance ?G ExternalGear)
        (instance ?H HoleRegion)
        (equal ?G
            (HoleHostFn ?H))
        (instance ?T GearTooth)
        (part ?T ?G)
        (surface ?ST ?T))
    (not
        (part ?ST ?G)))

If All of the following hold: (1) X is an instance of external gear (2) Y is an instance of hole (3) equal X and the host of the hole Y (4) Z is an instance of gear tooth (5) Z is a part of X (6) W is a surface of Z, then W is not a part of X