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 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2923-2939 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8034-8059 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8528-8549 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7600-7618 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1944-1960 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2085-2101 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8344-8364 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5683-5699 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8253-8275 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |