Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DCPowerSource(DC power source) |
| appearance as argument number 1 |
|
| (documentation DCPowerSource EnglishLanguage "A direct-current PowerSource.") | Mid-level-ontology.kif 3172-3172 | |
| (subclass DCPowerSource PowerSource) | Mid-level-ontology.kif 3174-3174 | DC power source is a subclass of power source |
| (defaultMinimumMeasure DCPowerSource (MeasureFn 120 Volt)) |
DimensioningAmenities.kif 21-21 | The minimum expected value of DC power source is 120 volt(s) |
| (defaultMaximumMeasure DCPowerSource (MeasureFn 220 Volt)) |
DimensioningAmenities.kif 22-22 | The maximum expected value of DC power source is 220 volt(s) |
| appearance as argument number 2 |
|
|
|