during |
No TPTP formula. May not be expressible in strict first order. | Media.kif 437-444 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 446-453 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3095-3114 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4517-4532 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 643-661 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1190-1205 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 65-84 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11368-11385 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11915-11932 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3628-3644 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5725-5736 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3376-3408 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3428-3455 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3475-3507 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1051-1063 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2654-2674 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8980-8985 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5749-5759 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1664-1676 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1292-1307 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 387-394 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 396-403 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 376-385 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 491-500 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3668-3704 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |