No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8409-8409 |
cooccur is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8389-8389 |
earlier is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8087-8087 |
finishes is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8344-8344 |
meets temporally is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8246-8246 |
overlap temporally is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8055-8055 |
starts is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7952-7952 |
temporal part is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8179-8179 |
temporally between is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8204-8204 |
temporally between or equal is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3863-3863 |
time is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1432-1432 |
typical temporal part is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1473-1473 |
typically contains temporal part is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24189-24189 |
weddingAnniversary is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 907-907 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1021-1021 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 583-583 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 113-113 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 116-116 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2268-2268 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 535-535 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 150-150 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 604-604 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 117-117 |
|