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