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 25968-25975 |
|
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 15203-15205 |
|
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 30794-30796 |
|
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 14871-14873 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17129-17131 |
|
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 1688-1693 |
|
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 4429-4431 |
|
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 5462-5464 |
|
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 |