Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  SpatialRelation

 Sigma KEE - SpatialRelation
SpatialRelation(spatial relation)antiparallel, camera_angle, cata-cornered, catacorner, cater-cornered, catercorner, catty-corner, catty-cornered, coincidence, collateral, complementary_distribution, complementation, design, diaspora, diffuseness, diffusion, dimensionality, directionality, directiveness, directivity, dissemination, flatness, innervation, kitty-corner, kitty-cornered, linearity, nonconvergent, nonintersecting, nonparallel, nonspatial, occlusion, one-dimensionality, perpendicular, plan, planeness, point_of_view, scatter, spacial, spacing, spatial, spatial_arrangement, spatial_property, spatiality, spatially, spread, third-dimensionality, three-dimensionality, topography, two-dimensionality

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


(subclass SpatialRelation Relation) Merge.kif 2765-2765 Spatial relation is a subclass of relation
(subclass SpatialRelation InheritableRelation) Merge.kif 2766-2766 Spatial relation is a subclass of inheritable relation
(documentation SpatialRelation EnglishLanguage "The Class of Relations that are spatial in a wide sense. This Class includes mereological relations and topological relations.") Merge.kif 2768-2770 Spatial relation is a subclass of inheritable relation

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


(instance FrontFn SpatialRelation) Merge.kif 867-867 Front is an instance of spatial relation
(instance BackFn SpatialRelation) Merge.kif 887-887 Back is an instance of spatial relation
(instance part SpatialRelation) Merge.kif 921-921 part is an instance of spatial relation
(instance hole SpatialRelation) Merge.kif 1001-1001 hole is an instance of spatial relation
(instance contains SpatialRelation) Merge.kif 1088-1088 contains is an instance of spatial relation
(instance partlyLocated SpatialRelation) Merge.kif 4148-4148 partly located is an instance of spatial relation
(instance between SpatialRelation) Merge.kif 4260-4260 between is an instance of spatial relation
(instance betweenOnPath SpatialRelation) Merge.kif 4281-4281 before on path is an instance of spatial relation
(instance traverses SpatialRelation) Merge.kif 4293-4293 traverses is an instance of spatial relation
(instance WhereFn SpatialRelation) Merge.kif 4335-4335 Where is an instance of spatial relation
(instance distance SpatialRelation) Merge.kif 7854-7854 distance is an instance of spatial relation
(instance larger SpatialRelation) Merge.kif 7927-7927 larger is an instance of spatial relation
(instance smaller SpatialRelation) Merge.kif 7948-7948 smaller is an instance of spatial relation
(instance connected SpatialRelation) Merge.kif 9725-9725 connected is an instance of spatial relation
(instance connects SpatialRelation) Merge.kif 9752-9752 connects is an instance of spatial relation
(instance MereologicalSumFn SpatialRelation) Merge.kif 10010-10010 Mereological sum is an instance of spatial relation
(instance MereologicalProductFn SpatialRelation) Merge.kif 10032-10032 Mereological product is an instance of spatial relation
(instance MereologicalDifferenceFn SpatialRelation) Merge.kif 10053-10053 Mereological difference is an instance of spatial relation
(instance partiallyFills SpatialRelation) Merge.kif 10201-10201 partially fills is an instance of spatial relation
(instance covers SpatialRelation) Merge.kif 16219-16219 covers is an instance of spatial relation
(instance orientation SpatialRelation) Merge.kif 17264-17264 orientation is an instance of spatial relation
(instance endPointsOfLineInSpace SpatialRelation) Mid-level-ontology.kif 27952-27952 level plane is an instance of spatial relation
(instance parallelLinesInSpace SpatialRelation) Mid-level-ontology.kif 27980-27980 parallel lines in space is an instance of spatial relation
(instance distanceOfParallelLinesInSpace SpatialRelation) Mid-level-ontology.kif 27991-27991 distance of of parallel lines in space is an instance of spatial relation
(instance LevelPlaneFn SpatialRelation) Mid-level-ontology.kif 28059-28059 Level plane is an instance of spatial relation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?REL BinaryPredicate)
        (instance ?REL SpatialRelation)
        (instance ?OBJ1 Physical)
        (instance ?OBJ2 Physical)
        (?REL ?OBJ1 ?OBJ2))
    (overlapsTemporally
        (WhenFn ?OBJ1)
        (WhenFn ?OBJ2)))		 Merge.kif 8451-8458 If X is an instance of binary predicate, X is an instance of spatial relation, Y is an instance of physical, Z is an instance of physical, and X Y and Z, then the time of existence of Z overlaps the time of existence of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners