No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7130-7130 |
Agency est une sous-classe de Business |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 65-65 |
Bakery est une sous-classe de Business |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16259-16259 |
Corporation est une sous-classe de Business |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1702-1702 |
Crematorium est une sous-classe de Business |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7140-7140 |
EntertainmentCompany est une sous-classe de Business |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7153-7153 |
FinancialCompany est une sous-classe de Business |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1697-1697 |
FuneralArranger est une sous-classe de Business |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7173-7173 |
InsuranceCompany est une sous-classe de Business |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7239-7239 |
Partnership est une sous-classe de Business |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7331-7331 |
Proprietorship est une sous-classe de Business |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7303-7303 |
Restaurant est une sous-classe de Business |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7201-7201 |
TransportationCompany est une sous-classe de Business |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64579-64579 |
|