organizationalObjective |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2598-2600 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2593-2593 | 域 組織目標, 1 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2594-2594 | 域 組織目標, 2 and 關注的區域 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2592-2592 | 例 組織目標 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2595-2595 | 子關係 組織目標 and attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1859-1859 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1858-1858 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1857-1857 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42498-42498 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42497-42497 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42496-42496 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2614-2618 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2371-2377 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2602-2606 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2602-2606 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2879-2879 | 區域安全 是 東盟區域論壇 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2751-2751 | 經濟合作 是 非洲加勒比和太平洋國家集團 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2758-2758 | 經濟發展 是 非洲開發銀行 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2759-2759 | 社會發展 是 非洲開發銀行 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2779-2779 | 核不擴散 是 在拉丁美洲和加勒比地區禁止核武器的機構 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2780-2780 | 和平利用原子能 是 在拉丁美洲和加勒比地區禁止核武器的機構 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2797-2797 | 經濟一體化 是 安第斯國際社會 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2802-2802 | 行政和管理 是 南極條約理事會 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2803-2803 | 促進地區穩定 是 南極條約理事會 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2813-2813 | 經濟發展 是 阿拉伯非洲經濟發展銀行 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2819-2819 | 經濟一體化 是 阿拉伯合作理事會 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2825-2825 | 經濟發展 是 阿拉伯經濟和社會發展基金 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2826-2826 | 社會發展 是 阿拉伯經濟和社會發展基金 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2834-2834 | 經濟合作 是 阿拉伯聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2837-2837 | 軍事合作 是 阿拉伯聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2836-2836 | 政治合作 是 阿拉伯聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2835-2835 | 社會合作 是 阿拉伯聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2844-2844 | 文化合作 是 阿拉伯馬格里布聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2843-2843 | 經濟一體化 是 阿拉伯馬格里布聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2846-2846 | 軍事合作 是 阿拉伯馬格里布聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2845-2845 | 政治合作 是 阿拉伯馬格里布聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2852-2852 | 經濟合作 是 阿拉伯貨幣基金 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2858-2858 | 促進貿易和投資 是 亞太經濟合作 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2864-2864 | 經濟合作 是 亞洲開發銀行 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2872-2872 | 文化合作 是 東南亞國家聯盟 的 organizational 目標 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |