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


KB Term:  Term intersection
English Word: 

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


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