Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| transformerCapacity |
| appearance as argument number 1 |
|
| (instance transformerCapacity BinaryPredicate) | engineering.kif 681-681 | transformer capacity is an instance of binary predicate |
| (domain transformerCapacity 1 ElectricalTransformer) | engineering.kif 684-684 | The number 1 argument of transformer capacity is an instance of electrical transformer |
| (domain transformerCapacity 2 FunctionQuantity) | engineering.kif 685-685 | The number 2 argument of transformer capacity is an instance of function quantity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage transformerCapacity "transformer capacity") | engineering.kif 682-682 | |
| (format EnglishLanguage transformerCapacity "the capacity of %1 is %2") | engineering.kif 683-683 |
| consequent |
|
|
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (transformerCapacity ?O ?Q)) |
engineering.kif 695-700 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the capacity of W is Y |
| (=> (and (memberMeasure ?S TransformerCapacity ?Q) (instance ?S Class) (instance ?O ?S)) (transformerCapacity ?O ?Q)) |
engineering.kif 702-707 | If members of X have the measure Y in terms of Transformer Capacity, X is an instance of class, and Z is an instance of X, then the capacity of Z is Y |
|