| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13984-13984 | 协议 是 命题 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 162-162 | LicenseAgreement 是 协议 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2996-2996 | 国际协议 是 协议 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 58-58 | 金融账户 是 协议 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 639-639 | Reservation 是 协议 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4539-4539 | Account 是 协议 的 subclass |
|
|