No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26355-26355 |
Ac power source is a subclass of power source |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2575-2575 |
DC power source is a subclass of power source |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 873-873 |
Single phase power source is a subclass of power source |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 878-878 |
Three phase power source is a subclass of power source |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47060-47060 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47059-47059 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47058-47058 |
|