No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17947-17958 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6376-6380 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10054-10077 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10024-10045 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2817-2836 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1904-1923 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1874-1893 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2969-2986 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2993-3011 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3018-3036 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2945-2962 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2851-2869 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1993-2005 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2689-2702 |
|