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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - organizationalObjective
organizationalObjective

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2583-2585
No TPTP formula. May not be expressible in strict first order. Government.kif 2578-2578 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 2579-2579 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 2577-2577 organizational objective is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 2580-2580 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 42475-42475
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42474-42474
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42473-42473

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2599-2603
No TPTP formula. May not be expressible in strict first order. Government.kif 2356-2362
No TPTP formula. May not be expressible in strict first order. Government.kif 2587-2591

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2587-2591

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2859-2859 Regional security is an organizational objective of ASEAN regional forum
No TPTP formula. May not be expressible in strict first order. Government.kif 2736-2736 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 2743-2743 Economic development is an organizational objective of african development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2744-2744 Social development is an organizational objective of african development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2759-2759 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 2760-2760 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 2777-2777 Economic integration is an organizational objective of andean community of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2782-2782 Administration and management is an organizational objective of antarctic treaty council
No TPTP formula. May not be expressible in strict first order. Government.kif 2783-2783 Promote regional stability is an organizational objective of antarctic treaty council
No TPTP formula. May not be expressible in strict first order. Government.kif 2793-2793 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 2799-2799 Economic integration is an organizational objective of arab cooperation council
No TPTP formula. May not be expressible in strict first order. Government.kif 2805-2805 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 2806-2806 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 2814-2814 Economic cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2817-2817 Military cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2816-2816 Political cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2815-2815 Social cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2824-2824 Cultural cooperation is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2823-2823 Economic integration is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2826-2826 Military cooperation is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2825-2825 Political cooperation is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2832-2832 Economic cooperation is an organizational objective of arab monetary fund
No TPTP formula. May not be expressible in strict first order. Government.kif 2838-2838 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 2844-2844 Economic cooperation is an organizational objective of asian development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2852-2852 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 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