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 18062-18068 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 450-463 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8587-8592 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9283-9290 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9231-9238 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9296-9303 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9305-9314 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9270-9277 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9244-9251 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9257-9264 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11916-11923 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3247-3263 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17151-17159 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8906-8913 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8613-8618 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8640-8645 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9092-9096 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9148-9152 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9205-9212 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9064-9068 |
|
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 9134-9138 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9120-9124 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9078-9082 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |