|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4263-4263 | 3 Day 是 联合国大学 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4274-4274 | 9 Day 是 全球邮政联盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4284-4284 | 14 Day 是 华沙协议 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4290-4290 | 12 Day 是 wassenaar安排 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4298-4298 | 14 Day 是 西非开发银行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4307-4307 | 1 Day 是 西非经济和货币联盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4313-4313 | 23 Day 是 西欧联盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4326-4326 | 19 Day 是 世界劳工联合会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3055-3055 | 15 Day 是 世界海关组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4338-4338 | 3 Day 是 世界工会联合会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4344-4344 | 24 Day 是 世界粮食计划 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4350-4350 | 22 Day 是 世界保健组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4356-4356 | 14 Day 是 世界知识产权组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4362-4362 | 11 Day 是 世界气象组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4368-4368 | 2 Day 是 世界旅游组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4374-4374 | 15 Day 是 世贸组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2143-2143 | Unix时代 equal 0 second |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2501-2504 | Serbia 是 欧洲国家 的 instance 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2496-2499 | Serbia 是 独立国家 的 instance 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2506-2509 | Serbia 的名 是 "Republic of Serbia" 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2528-2531 | 时间位置 是 3 day 的 instance 和 Montenegro 是 欧洲国家 的 instance 在 那个 时间位置 之后 holdsDuring |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2523-2526 | 时间位置 是 3 day 的 instance 和 Montenegro 是 独立国家 的 instance 在 那个 时间位置 之后 holdsDuring |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2533-2536 | 时间位置 是 3 day 的 instance 和 Montenegro 的名 是 "Montenegro" 在 那个 时间位置 之后 holdsDuring |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2546-2550 | 时间位置 是 3 day 的 instance 和 塞尔维亚和黑山 不 是 独立国家 的 instance 在 那个 时间位置 之后 holdsDuring |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2791-2794 | 时间位置 是 1 day 的 instance 和 安第斯国际社会 是 "Andean Community of Nations" 的 conventional 全名 在 紧接 那个 时间位置 after holdsDuring |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners