No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15988-15988 | Formal meeting is a subclass of meeting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16003-16003 | Funeral is a subclass of formal meeting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16039-16039 | 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 |