No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30731-30735 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29397-29401 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30837-30841 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30031-30035 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29480-29484 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29728-29732 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30664-30668 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30125-30129 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30871-30875 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29237-29241 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30629-30633 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29253-29257 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29759-29763 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29983-29987 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30099-30103 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29511-29515 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30888-30892 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29272-29276 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30161-30165 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29463-29467 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29585-29589 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29631-29635 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29662-29666 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30854-30858 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30309-30313 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |