Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term: 

  SouthSandwichTrench

Sigma KEE - SouthSandwichTrench

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
SouthSandwichTrench
Relationships      
InstancesEntityLa clase universal de individuos. Es el nodo principal de la ontología.
 HoleRegionA hole is an immaterial body located at the surface of an Object. Since every HoleRegion is ontologically dependent on its host (i.e., the object in which it is a hole), being a HoleRegion is defined as being a hole in something. Note that two HoleRegions may occupy the same region, or part of the same region, without sharing any parts. Any two hosts of a hole have a common proper part that entirely hosts the hole. A common host of two holes hosts all parts of the sum of those holes. Any object that includes the host of a hole is a host of that hole, unless its parts also include parts of that very hole. Overlapping holes have overlapping hosts. No hole is atomic. HoleRegions are connected with their hosts. No hole can have a proper part that is externally connected with exactly the same things as the hole itself.
 ObjectCorresponde aproximadamente a la clase de objetos ordinarios. Por ejemplo, incluye objetos físicos y normales, regiones geográficas y ubicaciones de Processes, el complemento de Objects en la clase Physical. En una ontología 4D, un Object es un objeto cuyo alcance espacio-temporal se piensa como dividido en tres partes espaciales que son aproximadamente paralelos al eje del tiempo.
 PhysicalUna entidad que tiene ubicación en espacio-tiempo. Note que las ubicaciones se entienden tener sitio en espacio-tiempo.
 RegionUn lugar topográfico. Region abarca los superficies de Objects, los lugares imaginarios y GeographicAreas. Note que una Region es el único tipo de Object en la que se puede ubicarse. También, no es una subclase de SelfConnectedObject desde que algunas Regions, como un archipiélago, tienen parts que no están connected con cada uno.
Belongs to Class Entity


Show full definition (without tree view)
Show full 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