Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  organizationalObjective

 Sigma KEE - organizationalObjective
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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