Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| coilCount |
| appearance as argument number 1 |
|
| (instance coilCount BinaryPredicate) | Cars.kif 3000-3000 | coil count is an instance of binary predicate |
| (domain coilCount 1 WireCoil) | Cars.kif 3001-3001 | The number 1 argument of coil count is an instance of wire coil |
| (domain coilCount 2 Integer) | Cars.kif 3002-3002 | The number 2 argument of coil count is an instance of integer |
| (documentation coilCount EnglishLanguage "The number of windings in a WireCoil.") | Cars.kif 3004-3004 | The number 2 argument of coil count is an instance of integer |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage coilCount "the number of coils in %1 is %n %2") | Cars.kif 3003-3003 | |
| (termFormat EnglishLanguage coilCount "coil count") | domainEnglishFormat.kif 65803-65803 |
| 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 2984-2998 | If All of the following hold: (1) X is an instance of electrical transformer (2) Y is an instance of wire coil (3) Z is an instance of wire coil (4) the number of coils in Y is W (5) the number of coils in Z is V (6) the measure of Y is volt U(s) holds during X, then the measure of Z is volt T(s) holds during X and equal T, U, V, and W |
| (=> (coilCount ?WC ?N) (exists (?C ?C2F) (and (instance ?C CollectionOfObjects) (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 3006-3023 | If the number of coils in X is Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of collection (3) Y is a member count of Z (4) V V is a member of ZW is an attribute of V (5) W is an instance of closed two dimensional figure (6) V is a part of X (7) there doesn't exist U such that U (8) V overlapsSpatially (9) U is a member of Z |
|