TemporalRelation(temporal relation)

-------------------------


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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners