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 The number 1 argument of organizational objective is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 2594-2594 The number 2 argument of organizational objective is an instance of area of concern
No TPTP formula. May not be expressible in strict first order. Government.kif 2592-2592 organizational objective is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 2595-2595 organizational objective is a subrelation of 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 Regional security is an organizational objective of ASEAN regional forum
No TPTP formula. May not be expressible in strict first order. Government.kif 2751-2751 Economic cooperation is an organizational objective of african caribbean and pacific group of states
No TPTP formula. May not be expressible in strict first order. Government.kif 2758-2758 Economic development is an organizational objective of african development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2759-2759 Social development is an organizational objective of african development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2779-2779 Nuclear nonproliferation is an organizational objective of agency for the prohibition of nuclear weapons in latin america and the caribbean
No TPTP formula. May not be expressible in strict first order. Government.kif 2780-2780 Peaceful use of atomic power is an organizational objective of agency for the prohibition of nuclear weapons in latin america and the caribbean
No TPTP formula. May not be expressible in strict first order. Government.kif 2797-2797 Economic integration is an organizational objective of andean community of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2802-2802 Administration and management is an organizational objective of antarctic treaty council
No TPTP formula. May not be expressible in strict first order. Government.kif 2803-2803 Promote regional stability is an organizational objective of antarctic treaty council
No TPTP formula. May not be expressible in strict first order. Government.kif 2813-2813 Economic development is an organizational objective of arab bank for economic development in africa
No TPTP formula. May not be expressible in strict first order. Government.kif 2819-2819 Economic integration is an organizational objective of arab cooperation council
No TPTP formula. May not be expressible in strict first order. Government.kif 2825-2825 Economic development is an organizational objective of arab fund for economic and social development
No TPTP formula. May not be expressible in strict first order. Government.kif 2826-2826 Social development is an organizational objective of arab fund for economic and social development
No TPTP formula. May not be expressible in strict first order. Government.kif 2834-2834 Economic cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2837-2837 Military cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2836-2836 Political cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2835-2835 Social cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2844-2844 Cultural cooperation is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2843-2843 Economic integration is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2846-2846 Military cooperation is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2845-2845 Political cooperation is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2852-2852 Economic cooperation is an organizational objective of arab monetary fund
No TPTP formula. May not be expressible in strict first order. Government.kif 2858-2858 Promotion of trade and investment is an organizational objective of asia pacific economic cooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 2864-2864 Economic cooperation is an organizational objective of asian development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2872-2872 Cultural cooperation is an organizational objective of association of southeast asian nations

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