No TPTP formula. May not be expressible in strict first order. |
naics.kif 2194-2210 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1837-1855 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3125-3141 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5126-5150 |
|
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 4225-4241 |
|
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 5994-6010 |
|
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 6153-6169 |
|
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 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 3497-3515 |
|
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 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 5683-5699 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2563-2581 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5772-5778 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5805-5811 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6080-6086 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16272-16279 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |