No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 643-661 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1589-1597 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1192-1202 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1156-1166 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1257-1267 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26961-26987 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15151-15163 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13684-13690 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12598-12605 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5095-5097 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3018-3020 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14454-14469 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1387-1407 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1275-1301 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26217-26231 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26255-26263 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25876-25891 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14432-14438 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1506-1519 |
|