organizationalObjective - Sigma Knowledge base Browser

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	If an agent is an instance of international organization and an area of concern is an organizational objective of the agent, then the area of concern is an instance of transnational issue
No TPTP formula. May not be expressible in strict first order.	Government.kif 2318-2324	If a cognitive agent is an instance of political pressure group and an area of concern is an organizational objective of the cognitive agent and an agent is an instance of government organization and the area of concern is an organizational objective of the agent, then the cognitive agent is interested in the agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2549-2553	If an area of concern is an organizational objective of an agent and the area of concern is a subattribute of another area of concern, then the other area of concern is an organizational objective of the agent

consequent

No TPTP formula. May not be expressible in strict first order.

Government.kif 2549-2553

If an area of concern is an organizational objective of an agent and the area of concern is a subattribute of another area of concern,
then the other area of concern is an organizational objective of the agent

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

KB Term:			Term intersection

English Word: