No TPTP formula. May not be expressible in strict first order. | Merge.kif 12241-12241 | Maintenir est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5550-5550 | Cleaning est une sous-classe de maintenir |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18416-18416 | Protecting est une sous-classe de maintenir |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20837-20837 | Agriculture est une sous-classe de maintenir |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1865-1865 | ChildCareService est une sous-classe de maintenir |
![]() |