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 |
|