| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6804-6806 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6802-6802 | 关注的区域 是 关联属性 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2625-2625 | 行政和管理 是 关注的区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2678-2678 | 经济发展 是 关注的区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2723-2723 | 信息合作 是 关注的区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2668-2668 | 基础设施合作 是 关注的区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2704-2704 | 司法问题 是 关注的区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2692-2692 | 劳工问题 是 关注的区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2632-2632 | 观察和监测 是 关注的区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2700-2700 | 政治合作 是 关注的区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3521-3521 | 促进私营企业 是 关注的区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2737-2737 | 公共卫生问题 是 关注的区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2648-2648 | 减少犯罪 是 关注的区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2878-2878 | 区域安全 是 关注的区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2710-2710 | 社会发展 是 关注的区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6818-6818 | 环境问题 是 关注的区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2608-2608 | 跨国问题 是 关注的区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8286-8286 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8285-8285 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8284-8284 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2594-2594 | 组织目标 的 2 数量 是 关注的区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6810-6810 | 区域问题 的 2 数量 是 关注的区域 的 instance |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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