No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 785-790 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 820-830 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3052-3073 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3183-3190 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3192-3201 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3203-3215 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25535-25549 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3348-3358 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8716-8721 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1930-1946 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1953-1967 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1907-1923 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1886-1900 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1868-1884 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8742-8747 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8769-8774 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 410-426 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1820-1837 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8796-8801 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 468-483 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8861-8866 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1028-1037 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1017-1026 |
|