No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14681-14690 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1097-1104 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1157-1166 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15453-15462 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4568-4572 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14697-14702 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29647-29655 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1534-1540 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29698-29710 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14781-14786 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14575-14580 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14649-14657 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14551-14556 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15612-15617 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4645-4652 |
|