No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 783-788 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 818-828 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3068-3089 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3170-3177 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3179-3188 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3190-3202 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23889-23903 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3331-3341 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8603-8608 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8629-8634 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8656-8661 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 408-424 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8683-8688 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 466-481 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8748-8753 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 863-872 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 852-861 |
|