No TPTP formula. May not be expressible in strict first order. | Cars.kif 3389-3417 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11580-11580 | Falling is a subclass of translocation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11581-11581 | Falling is a subclass of motion downward |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13107-13107 | Sinking is a subclass of falling |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11207-11207 | Precipitation is a subclass of falling |