No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1325-1348 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1758-1780 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1708-1729 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1282-1286 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1273-1280 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1264-1271 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1288-1308 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18026-18041 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17985-18010 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1255-1257 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1259-1262 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18022-18024 |
|