No TPTP formula. May not be expressible in strict first order. |
naics.kif 995-998 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11195-11195 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11199-11199 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11194-11194 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11190-11190 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8532-8532 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11192-11192 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11197-11197 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11196-11196 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11191-11191 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11198-11198 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 993-993 |
Hydro electric power generation is a subattribute of electric power generation |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2077-2077 |
Hydro electric power generation is a subclass of electrical power generation |