| appearance as argument number 1 |
|
| (documentation gearRatio EnglishLanguage "gearRatio is an instance of a TernaryPredicate. (gearRatio ?GEAR1 ?GEAR2 ?INTEGER) means that the gearRatio between ?GEAR1 and ?GEAR2 is ?INTEGER.It is the number of the toothCount of a gear ?GEAR1 that causes another gear ?GEAR2 to rotate divided by the toothCount of that other gear. So if ?GEAR1 with 20 teeth causes ?GEAR2 to rotate, and that ?GEAR2 has 10 teeth, then the GearRatio of the system of two gears is 2 (or often it will be described as '2:1' in text).") | engineering.kif 853-860 | |
| (domain gearRatio 1 Gear) | engineering.kif 861-861 | |
| (domain gearRatio 2 Gear) | engineering.kif 862-862 | |
| (domain gearRatio 3 RealNumber) | engineering.kif 863-863 | |
| (instance gearRatio TernaryPredicate) | engineering.kif 851-851 | |
| (relatedInternalConcept gearRatio gearRatio) | engineering.kif 852-852 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage gearRatio "%3 is the gearRatio between %1 and %2") | domainEnglishFormat.kif 5016-5016 | |
| (relatedInternalConcept gearRatio gearRatio) | engineering.kif 852-852 | |
| (relatedInternalConcept gearToothCount gearRatio) | engineering.kif 832-832 | |
| (termFormat EnglishLanguage gearRatio "gear ratio") | domainEnglishFormat.kif 65874-65874 |
| antecedent |
|
|
| (=> (and (gearToothCount ?G1 ?I1) (gearToothCount ?G2 ?I2) (gearRatio ?G1 ?G2 ?R)) (equal ?R (DivisionFn ?I1 ?I2))) |
engineering.kif 876-882 | |
| (=> (gearRatio ?G1 ?G2 ?R) (exists (?R1 ?R2) (and (instance ?R1 Rotating) (patient ?R1 ?G1) (instance ?R2 Rotating) (patient ?R2 ?G2) (causes ?R1 ?R2) (not (equal ?R1 ?R2))))) |
engineering.kif 865-875 |
|
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