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 23888-23902 |
|
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 8625-8630 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8651-8656 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8678-8683 |
|
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 8705-8710 |
|
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 8770-8775 |
|
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 |
|