No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17948-17959 |
|
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 10055-10078 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10025-10046 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2811-2830 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1898-1917 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1868-1887 |
|
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 1987-1999 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2689-2702 |
|