No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15987-15987 | Formal meeting is a subclass of meeting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16002-16002 | Funeral is a subclass of formal meeting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16038-16038 | Interviewing is a subclass of formal meeting |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2381-2381 | Trade show is a subclass of formal meeting |