gearToothCount - Sigma Knowledge base Browser

antecedent

(=> (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
(=> (and (gearToothCount ?G1 ?I1) (gearToothCount ?G2 ?I2) (gearRatio ?G1 ?G2 ?R)) (equal ?R (DivisionFn ?I1 ?I2)))	engineering.kif 963-969	If there are X number of GearTooth in Y, there are Z number of GearTooth in W, and V is the gearRatio between Y and W, then equal V, X, and Z

(instance gearToothCount BinaryPredicate)	engineering.kif 918-918	gear tooth count is an instance of binary predicate
(relatedInternalConcept gearToothCount gearRatio)	engineering.kif 919-919	gear tooth count is internally related to gear ratio
(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 920-922	gear tooth count is internally related to gear ratio
(domain gearToothCount 1 Gear)	engineering.kif 923-923	The number 1 argument of gear tooth count is an instance of gear
(domain gearToothCount 2 Integer)	engineering.kif 924-924	The number 2 argument of gear tooth count is an instance of integer

(format EnglishLanguage gearToothCount "there are %n %2 number of GearTooth in %1")	domainEnglishFormat.kif 5017-5017
(termFormat EnglishLanguage gearToothCount "gear tooth count")	domainEnglishFormat.kif 65851-65851