| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13957-13957 | 子類 協議 and Proposition |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 162-162 | 子類 LicenseAgreement and 協議 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2996-2996 | 子類 國際協議 and 協議 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 58-58 | 子類 金融賬戶 and 協議 |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 639-639 | 子類 Reservation and 協議 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4539-4539 | 子類 Account and 協議 |
|
|