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 30649-30656 |
|
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 2865-2879 |
|