overlapsTemporally |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 985-990 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 998-1006 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2359-2367 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30637-30644 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 20-39 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2647-2655 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2861-2875 |
|