temporalPart |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19348-19354 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8673-8684 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9018-9024 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14921-14927 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22334-22346 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17323-17345 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7947-7952 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1340-1350 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14955-14961 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7940-7945 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9408-9418 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8345-8352 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8234-8240 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8290-8296 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10107-10109 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7974-7977 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1445-1451 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1485-1491 |
|