No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17551-17551 | Water wave is a subclass of liquid motion |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1351-1351 | Breaking wave is a subclass of water wave |