No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1332-1355 |
|
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 1289-1293 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1280-1287 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1271-1278 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1295-1315 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17947-17962 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17906-17931 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1262-1264 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1266-1269 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17943-17945 |
|