No TPTP formula. May not be expressible in strict first order. |
naics.kif 1002-1005 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6563-6563 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6564-6564 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6032-6032 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6562-6562 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1000-1000 |
Fossil fuel electric power generation is a subattribute of electric power generation |