coilCount |
appearance as argument number 1 |
(documentation coilCount EnglishLanguage "The number of windings in a WireCoil.") | Cars.kif 3115-3115 | |
(domain coilCount 1 WireCoil) | Cars.kif 3112-3112 | coilCount の数値 1 引数は WireCoil の instance では %n |
(domain coilCount 2 Integer) | Cars.kif 3113-3113 | coilCount の数値 2 引数は 整数 の instance では %n |
(instance coilCount BinaryPredicate) | Cars.kif 3111-3111 | coilCount は 2進述語 の instance では %n |
appearance as argument number 2 |
(format EnglishLanguage coilCount "the number of coils in %1 is %n %2") | Cars.kif 3114-3114 | |
(termFormat EnglishLanguage coilCount "coil count") | domainEnglishFormat.kif 65794-65794 |
antecedent |
(=> (and (instance ?T ElectricalTransformer) (instance ?WC1 WireCoil) (instance ?WC2 WireCoil) (coilCount ?WC1 ?N1) (coilCount ?WC2 ?N2) (holdsDuring ?T (measure ?WC1 (MeasureFn Volt ?V1)))) (and (holdsDuring ?T (measure ?WC2 (MeasureFn Volt ?V2))) (equal ?V2 (MultiplicationFn ?V1 (DivisionFn ?N2 ?N1))))) |
Cars.kif 3095-3109 |
|
(=> (coilCount ?WC ?N) (exists (?C) (and (instance ?C Collection) (memberCount ?C ?N) (forall (?M) (=> (member ?M ?C) (and (attribute ?M ClosedTwoDimensionalFigure) (part ?M ?WC) (not (exists (?M2) (and (overlapsSpatially ?M2 ?M) (member ?M2 ?C)))))))))) |
Cars.kif 3117-3133 |