No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1207-1224 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18353-18359 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 443-456 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8701-8706 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9406-9413 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9354-9361 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9419-9426 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9428-9437 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9341-9348 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9393-9400 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9367-9374 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9380-9387 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12099-12106 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3251-3267 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18832-18840 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9020-9027 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 636-654 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8727-8732 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8754-8759 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9206-9210 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9262-9266 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9319-9326 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9178-9182 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9154-9158 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9248-9252 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |