|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7933-7933 | 时间部分 的 2 数量 是 时间位置 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3867-3867 | 时间 的 2 数量 是 时间位置 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2703-2703 | 气象学能见度 的 2 数量 是 时间位置 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 699-699 | 协议采用日期 的 2 数量 是 时间位置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 759-759 | 协议有效期间 的 2 数量 是 时间位置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 730-730 | 协议修订日期 的 2 数量 是 时间位置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2556-2556 | 日期解散 的 2 数量 是 时间位置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 979-979 | 建立日期 的 2 数量 是 时间位置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3071-3071 | 日期开放供签署 的 2 数量 是 时间位置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1737-1737 | 计划选举日期 的 2 数量 是 时间位置 的 subclass |
|
|
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