| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12241-12241 | Maintaining is a subclass of intentional process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5550-5550 | Cleaning is a subclass of maintaining |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18416-18416 | Protecting is a subclass of maintaining |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20837-20837 | Agriculture is a subclass of maintaining |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1865-1865 | Child-care service is a subclass of maintaining |
|
|