No TPTP formula. May not be expressible in strict first order. |
naics.kif 1080-1095 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8736-8756 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5421-5443 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7186-7198 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4225-4241 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7319-7333 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1361-1377 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7125-7137 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5994-6010 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7472-7484 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7702-7716 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2457-2475 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4644-4660 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 631-648 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6153-6169 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7752-7765 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7023-7040 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3690-3708 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7877-7893 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2717-2728 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3053-3069 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8465-8488 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3497-3515 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8707-8727 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3943-3959 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |