| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2559-2561 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2554-2554 | 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 2555-2555 | 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 2553-2553 | organizational objective is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2556-2556 | 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 1863-1863 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1862-1862 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1861-1861 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42500-42500 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42499-42499 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42498-42498 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2575-2579 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2332-2338 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2563-2567 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2563-2567 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2840-2840 | Regional security is an organizational objective of ASEAN regional forum |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2712-2712 | 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 2719-2719 | Economic development is an organizational objective of african development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2720-2720 | Social development is an organizational objective of african development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2740-2740 | 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 2741-2741 | 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 2758-2758 | Economic integration is an organizational objective of andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2763-2763 | Administration and management is an organizational objective of antarctic treaty council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2764-2764 | Promote regional stability is an organizational objective of antarctic treaty council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2774-2774 | 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 2780-2780 | Economic integration is an organizational objective of arab cooperation council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2786-2786 | 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 2787-2787 | 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 2795-2795 | Economic cooperation is an organizational objective of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2798-2798 | Military cooperation is an organizational objective of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2797-2797 | Political cooperation is an organizational objective of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2796-2796 | Social cooperation is an organizational objective of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2805-2805 | Cultural cooperation is an organizational objective of arab maghreb union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2804-2804 | Economic integration is an organizational objective of arab maghreb union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2807-2807 | Military cooperation is an organizational objective of arab maghreb union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2806-2806 | Political cooperation is an organizational objective of arab maghreb union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2813-2813 | Economic cooperation is an organizational objective of arab monetary fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2819-2819 | 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 2825-2825 | Economic cooperation is an organizational objective of asian development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2833-2833 | 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