No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15987-15987 | FormalMeeting est une sous-classe de rencontrer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16002-16002 | Funeral est une sous-classe de FormalMeeting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16038-16038 | Interviewing est une sous-classe de FormalMeeting |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2381-2381 | TradeShow est une sous-classe de FormalMeeting |