| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15987-15987 | 子類 正式會議 and Meeting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16002-16002 | 子類 葬禮 and 正式會議 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16038-16038 | 子類 面試 and 正式會議 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2381-2381 | 子類 TradeShow and 正式會議 |
|
|