| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2610-2612 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2608-2608 | 子類 跨國問題 and 關注的區域 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2636-2636 | 例 軍備控制 and 跨國問題 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2622-2622 | 例 邊界決定 and 跨國問題 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2655-2655 | 例 經濟合作 and 跨國問題 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2663-2663 | 例 能源和環境 and 跨國問題 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2730-2730 | 例 人道主義援助 and 跨國問題 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2706-2706 | 例 國際司法 and 跨國問題 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2621-2621 | 例 國際和平與安全 and 跨國問題 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2697-2697 | 例 軍事合作 and 跨國問題 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2624-2624 | 例 促進地區穩定 and 跨國問題 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2717-2717 | 例 社會合作 and 跨國問題 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2695-2695 | 子屬性 世界勞工問題 and 跨國問題 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58964-58964 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58963-58963 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58962-58962 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2614-2618 |
|
|
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