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 2563-2581 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25956-25963 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2139-2141 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4500-4502 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15225-15227 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4753-4755 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1409-1411 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4732-4740 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2410-2415 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1279-1283 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30782-30784 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3580-3582 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 641-643 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 826-831 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14870-14872 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17128-17130 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3026-3028 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1694-1699 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2500-2505 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4437-4439 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3600-3605 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4397-4399 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5461-5463 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1343-1347 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |