| appearance as argument number 1 |
|
| (documentation gearToothCount EnglishLanguage "gearToothCount is an instance of a BinaryPredicate. (gearToothCount ?GEAR ?INTEGER) means that there are ?INTEGER number of GearTooth that are part of the Gear ?GEAR.") | engineering.kif 833-835 | |
| (domain gearToothCount 1 Gear) | engineering.kif 836-836 | |
| (domain gearToothCount 2 Integer) | engineering.kif 837-837 | |
| (instance gearToothCount BinaryPredicate) | engineering.kif 831-831 | |
| (relatedInternalConcept gearToothCount gearRatio) | engineering.kif 832-832 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage gearToothCount "there are %n %2 number of GearTooth in %1") | domainEnglishFormat.kif 5017-5017 | |
| (termFormat EnglishLanguage gearToothCount "gear tooth count") | domainEnglishFormat.kif 65873-65873 |
| antecedent |
|
|
| (=> (and (gearToothCount ?G1 ?I1) (gearToothCount ?G2 ?I2) (gearRatio ?G1 ?G2 ?R)) (equal ?R (DivisionFn ?I1 ?I2))) |
engineering.kif 876-882 | |
| (=> (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 |
|
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