Relation:Is located in

From Wiki@OntoWorld

Jump to: navigation, search

Something is located in something if it geographically ...

This is a transitive relation, i.e. if A is located in B and B is located in C, then the system should also return A if users search for everything located in C. Such reasoning can greatly reduce the amount of typed links that one needs to specify (consider, e.g., in how many things Berlin is located in). However, at the moment, this feature is not supported or treated in any special way, but this pages gives an example of how one could define such information.

This relation is defined in the OBO Relations Ontology - both the relation between instances and the location between types. See: http://obo.sourceforge.net/relationship/#OBO_REL:located_in

The definition is as follows:

Location as a relation between instances: The primitive instance-level relation c located_in r at t reflects the fact that each continuant is at any given time associated with exactly one spatial region, namely its exact location. Following we can use this relation to define a further instance-level location relation - not between a continuant and the region which it exactly occupies, but rather between one continuant and another. c is located in c1, in this sense, whenever the spatial region occupied by c is part_of the spatial region occupied by c1.

Note that this relation comprehends both the relation of exact location between one continuant and another which obtains when r and r1 are identical (for example, when a portion of fluid exactly fills a cavity), as well as those sorts of inexact location relations which obtain, for example, between brain and head or between ovum and uterus

  Is located in
AIFB Karlsruhe
Alberta Canada
Argentina South America
Barcelona Spain
Barcex Spain
Berlin Germany
Brandenburg Germany
British Columbia Canada
Canada North American continent
Celle Germany
Lower Saxony
Colorado Springs Colorado
Front Range
Rocky Mountains
Continent Earth
Denmark Scandinavia
Dijon France
Dresden Germany
Edinburgh Scotland
Edmonton Alberta
Eiffel Tower Champ de Mars
Paris
Europe Earth
Fish Sea
France Europe
Institute of Law and Technology Barcelona
Jefft0 Jefft0:Van Nuys
JorisGillis Belgium
KULeuven Leuven
Leipzig Germany
Saxony
Leuven Belgium
Melbourne Australia
MicheleBordi Italy
Mountain Shanghai
Norway Europe
Scandinavia
Nurica Barcelona
Rainer Wasserfuhr Dresden
Rennes France
Rennes1 University Rennes
Rio de Janeiro Brazil
Roma Italy
Sacramento California
United States
Sacramento County California
Central Valley
San Diego California
United States
San Diego Simple California
San Diego Zoo California
San Diego
San Diego de Alcala Alcalá
San Francisco California
San Francisco Peninsula
United States
Scandinavia Europe
Skierpage United States
Stockholm Sweden
Sweden Scandinavia
Test London
Tromsø Norway

Relations to other articles — Click + to find similar articles.

Relation:Is located in  Has relation property  transitive  +
Relation:Is located in  Is defined in  OBO Relations Ontology  +


Editing help on relations and attributes

View as RDF
Personal tools
  • Log in / create account
Toolbox