No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28800-28804 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27466-27470 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28906-28910 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28100-28104 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27549-27553 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27797-27801 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28733-28737 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28194-28198 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28940-28944 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27306-27310 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28698-28702 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27322-27326 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27828-27832 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28052-28056 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28168-28172 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27580-27584 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28957-28961 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27341-27345 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28230-28234 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27532-27536 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27654-27658 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27700-27704 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27731-27735 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28923-28927 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28378-28382 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |