| appearance as argument number 1 |
|
| (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 818-820 | |
| (subclass GearTooth EngineeringComponent) | engineering.kif 816-816 | |
| (typicalPart GearTooth Gear) | engineering.kif 817-817 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GearTooth " gear tooth") | domainEnglishFormat.kif 65841-65841 |
| 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 775-785 | |
| (=> (and (instance ?G Gear) (part ?T ?G) (instance ?T GearTooth) (gearToothCount ?G ?I)) (exists (?C) (and (instance ?C Collection) (member ?T ?C) (memberCount ?C ?I)))) |
engineering.kif 839-849 | |
| (=> (and (instance ?G Gear) (superficialPart ?SG ?G) (instance ?T GearTooth) (part ?T ?G) (surface ?ST ?T)) (part ?ST ?SG)) |
engineering.kif 822-829 | |
| (=> (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 803-814 |
|
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