| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15987-15987 | 正式会议 是 会面 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16002-16002 | 葬礼 是 正式会议 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16038-16038 | 面试 是 正式会议 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2381-2381 | TradeShow 是 正式会议 的 subclass |
|
|