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 2571-2573
No TPTP formula. May not be expressible in strict first order. Government.kif 2566-2566 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 2567-2567 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 2565-2565 organizational objective is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 2568-2568 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 42481-42481
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42480-42480
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42479-42479

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


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

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2575-2579

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2842-2842 Regional security is an organizational objective of ASEAN regional forum
No TPTP formula. May not be expressible in strict first order. Government.kif 2724-2724 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 2731-2731 Economic development is an organizational objective of african development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2732-2732 Social development is an organizational objective of african development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2747-2747 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 2748-2748 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 2760-2760 Economic integration is an organizational objective of andean community of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2765-2765 Administration and management is an organizational objective of antarctic treaty council
No TPTP formula. May not be expressible in strict first order. Government.kif 2766-2766 Promote regional stability is an organizational objective of antarctic treaty council
No TPTP formula. May not be expressible in strict first order. Government.kif 2776-2776 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 2782-2782 Economic integration is an organizational objective of arab cooperation council
No TPTP formula. May not be expressible in strict first order. Government.kif 2788-2788 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 2789-2789 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 2797-2797 Economic cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2800-2800 Military cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2799-2799 Political cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2798-2798 Social cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2807-2807 Cultural cooperation is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2806-2806 Economic integration is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2809-2809 Military cooperation is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2808-2808 Political cooperation is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2815-2815 Economic cooperation is an organizational objective of arab monetary fund
No TPTP formula. May not be expressible in strict first order. Government.kif 2821-2821 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 2827-2827 Economic cooperation is an organizational objective of asian development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2835-2835 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