coilCount |
appearance as argument number 1 |
![]() |
(documentation coilCount EnglishLanguage "The number of windings in a WireCoil.") | Cars.kif 3122-3122 | |
(domain coilCount 1 WireCoil) | Cars.kif 3119-3119 | coilCount の数値 1 引数は WireCoil の instance では %n |
(domain coilCount 2 Integer) | Cars.kif 3120-3120 | coilCount の数値 2 引数は 整数 の instance では %n |
(instance coilCount BinaryPredicate) | Cars.kif 3118-3118 | coilCount は 2進述語 の instance では %n |
appearance as argument number 2 |
![]() |
(format EnglishLanguage coilCount "the number of coils in %1 is %n %2") | Cars.kif 3121-3121 | |
(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 3102-3116 |
|
(=> (coilCount ?WC ?N) (exists (?C ?C2F) (and (instance ?C Collection) (memberCount ?C ?N) (forall (?M) (=> (member ?M ?C) (and (attribute ?M ?C2F) (instance ?C2F ClosedTwoDimensionalFigure) (part ?M ?WC) (not (exists (?M2) (and (overlapsSpatially ?M2 ?M) (member ?M2 ?C)))))))))) |
Cars.kif 3124-3141 |
![]() |
![]() |