| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2619-2619 | EconomicCooperation est une instance de TransnationalIssue |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2715-2715 | organizationalObjective AfricanCaribbeanAndPacificGroupOfStates and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2798-2798 | organizationalObjective ArabLeague and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2816-2816 | organizationalObjective ArabMonetaryFund and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2828-2828 | organizationalObjective AsianDevelopmentBank and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2834-2834 | organizationalObjective AssociationOfSoutheastAsianNations and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2880-2880 | organizationalObjective BigSix and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2887-2887 | organizationalObjective BlackSeaEconomicCooperationZone and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2901-2901 | organizationalObjective CaribbeanDevelopmentBank and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2930-2930 | organizationalObjective CentralEuropeanInitiative and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2946-2946 | organizationalObjective CommonwealthOfNations and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3010-3010 | organizationalObjective CouncilOfTheEntente and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3105-3105 | organizationalObjective EconomicCommunityOfWestAfricanStates and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3111-3111 | organizationalObjective EconomicCooperationOrganization and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3300-3300 | organizationalObjective GroupOf11 and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3306-3306 | organizationalObjective GroupOf15 and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3316-3316 | organizationalObjective GroupOf24 and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3249-3249 | organizationalObjective GroupOf5 and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3266-3266 | organizationalObjective GroupOf7 and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3326-3326 | organizationalObjective GroupOf77 and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3272-3272 | organizationalObjective GroupOf8 and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3333-3333 | organizationalObjective GulfCooperationCouncil and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3341-3341 | organizationalObjective IndianOceanCommission and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3360-3360 | organizationalObjective InterGovernmentalAuthorityOnDevelopment and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3632-3632 | organizationalObjective NordicCouncil and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3640-3640 | organizationalObjective NordicInvestmentBank and EconomicCooperation |
| 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