No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1160-1177 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17921-17927 |
|
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 8511-8516 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9203-9210 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9151-9158 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9216-9223 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9225-9234 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9190-9197 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9164-9171 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9177-9184 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11801-11808 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3241-3257 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16724-16732 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8830-8837 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8537-8542 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8564-8569 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9012-9016 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9068-9072 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9125-9132 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8984-8988 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8960-8964 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9054-9058 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9040-9044 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8998-9002 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |