duration |
No TPTP formula. May not be expressible in strict first order. | Media.kif 580-582 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9368-9370 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6162-6168 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1579-1583 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9378-9380 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9126-9128 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9182-9184 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9239-9241 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9074-9076 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9168-9170 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9154-9156 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9112-9114 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9140-9142 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9225-9227 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9211-9213 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9197-9199 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2623-2636 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9013-9015 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9388-9390 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 455-457 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9358-9360 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8766-8768 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1874-1882 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2574-2580 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2558-2564 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |