Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SinglePhasePowerSource(single phase power source) |
| appearance as argument number 1 |
|
| (subclass SinglePhasePowerSource ACPowerSource) | Mid-level-ontology.kif 28917-28917 | Single phase power source is a subclass of ac power source |
| (documentation SinglePhasePowerSource EnglishLanguage "A PowerSource of single phase alternating current.") | engineering.kif 1277-1278 | Single phase power source is a subclass of ac power source |
| (lexicon SinglePhasePowerSource LexNoun "single_phase {power source}") | engineering.kif 1279-1279 | Single phase power source is a subclass of ac power source |
| (subclass SinglePhasePowerSource PowerSource) | engineering.kif 1280-1280 | Single phase power source is a subclass of power source |
| appearance as argument number 2 |
|
|
|