No TPTP formula. May not be expressible in strict first order. |
naics.kif 5887-5889 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2075-2075 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2074-2074 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1698-1698 |
Aircraft is an industry product type of aircraft manufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5885-5885 |
Aircraft manufacturing is a subattribute of aerospace product and parts manufacturing |