Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TransformerCapacity(Transformer Capacity) |
| appearance as argument number 1 |
|
| (instance TransformerCapacity MeasurementAttribute) | engineering.kif 687-687 | Transformer Capacity is an instance of measurement attribute |
| (documentation TransformerCapacity EnglishLanguage "As with transformerCapacity, the capacity of an ElectricalTransformer is the maximum power it can receive and distribute.") | engineering.kif 689-691 | Transformer Capacity is an instance of measurement attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TransformerCapacity "Transformer Capacity") | engineering.kif 693-693 |
| antecedent |
|
|
| (=> (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 |
|