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 |
(domain coilCount 2 Integer) | Cars.kif 3120-3120 | coilCount 的 2 数量 是 整数 的 instance |
(instance coilCount BinaryPredicate) | Cars.kif 3118-3118 | coilCount 是 二元谓语 的 instance |
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 |