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 9346-9348 | |
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 9356-9358 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9104-9106 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9160-9162 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9217-9219 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9052-9054 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9146-9148 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9132-9134 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9090-9092 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9118-9120 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9203-9205 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9189-9191 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9175-9177 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2627-2640 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8991-8993 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9366-9368 | |
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 9336-9338 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8744-8746 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1878-1886 | |
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 |