| 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