No TPTP formula. May not be expressible in strict first order. |
Food.kif 844-851 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 20-25 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1680-1687 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 675-684 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12557-12567 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19601-19611 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1914-1919 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5452-5459 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3547-3554 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2569-2574 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1112-1124 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20665-20672 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20402-20409 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 47-55 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3151-3161 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5377-5384 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9238-9243 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10247-10254 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16068-16076 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23614-23619 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3231-3238 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2748-2755 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6017-6036 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3099-3106 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2900-2905 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |