No TPTP formula. May not be expressible in strict first order. |
naics.kif 12022-12024 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9378-9378 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9376-9376 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9375-9375 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9377-9377 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9374-9374 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12020-12020 |
Linen supply is a subattribute of linen and uniform supply |