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 2545-2547
No TPTP formula. May not be expressible in strict first order. Government.kif 2540-2540 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 2541-2541 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 2539-2539 organizational objective is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 2542-2542 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 473-473
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7502-7502 "organizational objective" is the printable form of organizational objective in english language

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2561-2565
No TPTP formula. May not be expressible in strict first order. Government.kif 2318-2324
No TPTP formula. May not be expressible in strict first order. Government.kif 2549-2553

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2549-2553

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2816-2816 Regional security is an organizational objective of ASEAN regional forum
No TPTP formula. May not be expressible in strict first order. Government.kif 2698-2698 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 2705-2705 Economic development is an organizational objective of african development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2706-2706 Social development is an organizational objective of african development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2721-2721 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 2722-2722 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 2734-2734 Economic integration is an organizational objective of andean community of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2739-2739 Administration and management is an organizational objective of antarctic treaty council
No TPTP formula. May not be expressible in strict first order. Government.kif 2740-2740 Promote regional stability is an organizational objective of antarctic treaty council
No TPTP formula. May not be expressible in strict first order. Government.kif 2750-2750 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 2756-2756 Economic integration is an organizational objective of arab cooperation council
No TPTP formula. May not be expressible in strict first order. Government.kif 2762-2762 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 2763-2763 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 2771-2771 Economic cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2774-2774 Military cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2773-2773 Political cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2772-2772 Social cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2781-2781 Cultural cooperation is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2780-2780 Economic integration is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2783-2783 Military cooperation is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2782-2782 Political cooperation is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2789-2789 Economic cooperation is an organizational objective of arab monetary fund
No TPTP formula. May not be expressible in strict first order. Government.kif 2795-2795 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 2801-2801 Economic cooperation is an organizational objective of asian development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2809-2809 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners