No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1154-1171 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16899-16905 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 609-622 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8077-8082 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8757-8764 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8705-8712 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8770-8777 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8779-8788 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8744-8751 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8718-8725 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8731-8738 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11178-11185 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3135-3148 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14872-14880 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8388-8395 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8103-8108 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8130-8135 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8566-8570 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8622-8626 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8679-8686 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8538-8542 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8514-8518 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8608-8612 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8594-8598 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8552-8556 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |