No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20449-20449 | WorkLeave est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20475-20475 | Vacationing est une sous-classe de WorkLeave |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20479-20479 | SickLeave est une sous-classe de WorkLeave |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20495-20495 | DisabilityLeave est une sous-classe de WorkLeave |