No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10578-10586 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10683-10691 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10651-10659 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10665-10675 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16294-16299 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16331-16336 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1607-1617 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1649-1657 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 50-72 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7953-7978 |
|
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 7242-7257 |
|
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 7509-7521 |
|
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 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 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |