Agreement
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13985-13989 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13984-13984 | 协议 是 命题 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3144-3144 | 空气污染 - 氮氧化物协议 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3150-3150 | 空气污染 - 持久性有机污染物协议 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3155-3155 | 空气污染 - sulphur85协议 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3161-3161 | 空气污染 - sulphur94协议 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3166-3166 | 空气污染 - 挥发性有机化合物协议 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3138-3138 | 空气污染公约 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3172-3172 | 南极洲 - 环境协议 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3177-3177 | 南极洲 - 海洋生物资源公约 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3184-3184 | 南极海豹公约 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3190-3190 | 南极条约 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3204-3204 | 生物多样性公约 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3214-3214 | 气候变化- 京都协议 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3208-3208 | 气候变化公约 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3222-3222 | 荒漠化公约 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3229-3229 | 濒危物种公约 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3237-3237 | 环境修改公约 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3244-3244 | 危险废物公约 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3252-3252 | 海洋法公约 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3259-3259 | 海洋倾倒公约 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3267-3267 | 海洋生物保护公约 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3274-3274 | 核试验禁令条约 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3281-3281 | 臭氧层保护协议 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3289-3289 | 船舶污染协议 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3297-3297 | 热带木材83协议 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3303-3303 | 热带木材94协议 是 协议 的 instance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3056-3056 | 协议组织 的 1 数量 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14096-14096 | agreementClause 的 3 数量 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14051-14051 | 协议生效日期 的 1 数量 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14076-14076 | 截止日期 的 1 数量 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14037-14037 | 协议期限 的 1 数量 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 503-503 | contractedRentalPrice 的 3 数量 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 271-271 | negotiatedPrice 的 3 数量 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2586-2586 | 期权持有人 的 1 数量 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2599-2599 | 期权卖方 的 1 数量 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14026-14026 | 协议的一方 的 2 数量 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2721-2721 | 额外费用 的 1 数量 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Law.kif 502-502 | recordForAgreement 的 2 数量 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2739-2739 | 底层证券 的 1 数量 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3105-3105 | 未经批准的签署协议 的 2 数量 是 协议 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 153-160 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13999-14005 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13992-13997 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 146-151 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3125-3132 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14140-14142 |