|
|
   CareOrganization
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7653-7655 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7652-7652 | CareOrganization est compl�tement d�compos� en HospitalOrganization + MedicalClinic |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7651-7651 | CareOrganization est une sous-classe de organisation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7669-7669 | HospitalOrganization est une sous-classe de CareOrganization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7677-7677 | MedicalClinic est une sous-classe de CareOrganization |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13224-13224 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13223-13223 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13222-13222 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7661-7661 | Le nombre 2 argument de medicalPatient est une instance de CareOrganization |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7663-7667 |
|
|
|
|