Enhanced with SHOE

World Ontology

Id: world-ontology
Version: 1.0

This ontology models places and political entities of the planet Earth.

Organization of this Document

This ontology is declared in this document both in human-readable form (what you see in front of you now) and machine-readable SHOE form (which you can see from viewing the html source of this document). There are six sections to the document: Identification, Description, Extended Ontologies, Categories, Relationships, and Inferences. The Identification is the Id and Version that precedes this section. The Description briefly defines the scope of the ontology. The Extended Ontologies section lists those ontologies extended by this one. The Categories section provides a taxonomy (or ISA hierarchy). The Relationships section defines the predicates that can be used to describe instances of the categories. Finally, Inferences lists those inferences which can be made on instances that use this ontology.

This ontology is only an example. If you have a better way of representing the information contained here, we encourage you to create a SHOE version of it and make it available to the public.

Extended Ontologies


For compatibility purposes, this ontology has renamed the following objects:

Object Renamed From ================================================================ name gen.name Location gen.Location


The following taxonomy is the collection of categories declared in this ontology. The hierarchical form is intended to show the ISA chain. Categories in [Brackets] are not defined here but are defined in an ontology extended by this one. Elements in {Braces} are additional supercategories of the category immediately before them (signifying multiple inheritance).

Location World Africa Antartica Asia China Japan Australia Europe France Germany Italy Spain United_Kingdom North_America Canada Mexico United_States South_America


Relationships are declared between one or more arguments. Relationship arguments are either types or are categories. If the argument is a category, any subcategory of that category is valid as well.



This ontology defines some inferences which may be useful to agents:


to be provided

Enhanced with SHOE