Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GearTooth( gear tooth) |
| appearance as argument number 1 |
|
| (subclass GearTooth EngineeringComponent) | engineering.kif 903-903 | Gear tooth is a subclass of engineering component |
| (typicalPart GearTooth Gear) | engineering.kif 904-904 | A gear tooth is typically a part of a gear |
| (documentation GearTooth EnglishLanguage "Gear teeth are typical parts of a Gear. They are usually located at the exterior surface, although there are InternalGear in which the gear tooth are found at the interior surface of the Gear.") | engineering.kif 905-907 | A gear tooth is typically a part of a gear |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GearTooth " gear tooth") | domainEnglishFormat.kif 65850-65850 |
| 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))) |
engineering.kif 862-872 | 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 |
| (=> (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 |
| (=> (and (instance ?G Gear) (superficialPart ?SG ?G) (instance ?T GearTooth) (part ?T ?G) (surface ?ST ?T)) (part ?ST ?SG)) |
engineering.kif 909-916 | If X is an instance of gear, Y is a superficial part of X, Z is an instance of gear tooth, Z is a part of X, and W is a surface of Z, then W is a part of Y |
| (=> (and (instance ?G Gear) (part ?T ?G) (instance ?T GearTooth) (gearToothCount ?G ?I)) (exists (?C) (and (instance ?C CollectionOfObjects) (member ?T ?C) (memberCount ?C ?I)))) |
engineering.kif 926-936 | If X is an instance of gear, Y is a part of X, Y is an instance of gear tooth, and there are Z number of GearTooth in X, then there exists W such that W is an instance of collection, Y is a member of W, and Z is a member count of W |
|