Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrganizationOfNations

Sigma KEE - OrganizationOfNations
OrganizationOfNations(organization of nations)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2528-2529
No TPTP formula. May not be expressible in strict first order. Government.kif 2526-2526 Organization of nations is a subclass of international organization

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2874-2874 ASEAN regional forum is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2747-2747 African caribbean and pacific group of states is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2753-2753 African development bank is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2761-2761 Agency for the french speaking community is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2773-2773 Agency for the prohibition of nuclear weapons in latin america and the caribbean is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2782-2782 Andean community of nations is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2799-2799 Antarctic treaty council is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2807-2807 Arab bank for economic development in africa is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2815-2815 Arab cooperation council is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2821-2821 Arab fund for economic and social development is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2828-2828 Arab league is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2839-2839 Arab maghreb union is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2848-2848 Arab monetary fund is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2854-2854 Asia pacific economic cooperation is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2860-2860 Asian development bank is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2866-2866 Association of southeast asian nations is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2881-2881 Australia group is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2886-2886 Australia new zealand united states security treaty is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2892-2892 Bank for international settlements is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2898-2898 Benelux economic union is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2907-2907 Big seven is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2912-2912 Big six is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2918-2918 Black sea economic cooperation zone is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2925-2925 Caribbean community and common market is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2932-2932 Caribbean development bank is an instance of organization of nations

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2531-2535

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3063-3067


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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