Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   InternalGear
|
|
|
| appearance as argument number 1 |
|
|
| (subclass InternalGear Gear) | engineering.kif 874-874 | Internal gear is a subclass of gear |
| (documentation InternalGear EnglishLanguage "InternalGear are Gears with teeth on the Inside of the Cylinder or cone. An InternalGear can only mesh with an external gear and the gears rotate in the same direction. [Wikipedia]") | engineering.kif 875-877 | Internal gear is a subclass of gear |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage InternalGear " internal gear") | domainEnglishFormat.kif 65874-65874 |
| antecedent |
|
|
| (=> (instance ?G InternalGear) (exists (?H) (and (instance ?H HoleRegion) (equal ?G (HoleHostFn ?H))))) |
engineering.kif 882-888 | If X is an instance of internal gear, then there exists Y such that Y is an instance of hole, equal X, and the host of the hole Y |
| (=> (and (instance ?T GearTooth) (instance ?G InternalGear) (part ?T ?G) (surface ?S ?T)) (exists (?H) (and (instance ?H HoleRegion) (equal ?G (HoleHostFn ?H)) (part ?S ?G)))) |
engineering.kif 890-901 | If X is an instance of gear tooth, Y is an instance of internal gear, X is a part of Y, and Z is a surface of X, then there exists W such that W is an instance of hole, equal Y, the host of the hole W, and Z is a part of Y |
|