Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(documentation SpatialRelation ChineseLanguage "这是一个广义的空间 Relation Class,这个 Class 包括分体论关系和拓扑关系。") chinese_format.kif 1916-1917
(documentation SpatialRelation EnglishLanguage "The Class of Relations that are spatial in a wide sense. This Class includes mereological relations and topological relations.") Merge.kif 2607-2609
(subclass SpatialRelation InheritableRelation) Merge.kif 2605-2605 Spatial relation is a subclass of inheritable relation
(subclass SpatialRelation Relation) Merge.kif 2604-2604 Spatial relation is a subclass of relation

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


(instance BackFn SpatialRelation) Merge.kif 878-878 Back is an instance of spatial relation
(instance FrontFn SpatialRelation) Merge.kif 858-858 Front is an instance of spatial relation
(instance MereologicalDifferenceFn SpatialRelation) Merge.kif 9739-9739 Mereological difference is an instance of spatial relation
(instance MereologicalProductFn SpatialRelation) Merge.kif 9718-9718 Mereological product is an instance of spatial relation
(instance MereologicalSumFn SpatialRelation) Merge.kif 9696-9696 Mereological sum is an instance of spatial relation
(instance WhereFn SpatialRelation) Merge.kif 4138-4138 Where is an instance of spatial relation
(instance absoluteHeight SpatialRelation) MilitaryDevices.kif 1454-1454 absolute height is an instance of spatial relation
(instance beforeOnPath SpatialRelation) Mid-level-ontology.kif 29278-29278 beforeOnPath is an instance of spatial relation
(instance between SpatialRelation) Merge.kif 4068-4068 between is an instance of spatial relation
(instance betweenOnPath SpatialRelation) Merge.kif 4089-4089 between on path is an instance of spatial relation
(instance connected SpatialRelation) Merge.kif 9409-9409 connected is an instance of spatial relation
(instance connects SpatialRelation) Merge.kif 9431-9431 connects is an instance of spatial relation
(instance contains SpatialRelation) Merge.kif 974-974 contains is an instance of spatial relation
(instance covers SpatialRelation) Mid-level-ontology.kif 29247-29247 covers is an instance of spatial relation
(instance cylinderBore SpatialRelation) Cars.kif 1531-1531 cylinderBore is an instance of spatial relation
(instance distance SpatialRelation) Merge.kif 7589-7589 distance is an instance of spatial relation
(instance havePartTypes SpatialRelation) Mid-level-ontology.kif 23280-23280 havePartTypes is an instance of spatial relation
(instance hole SpatialRelation) Merge.kif 9765-9765 hole is an instance of spatial relation
(instance initialPart SpatialRelation) Mid-level-ontology.kif 23229-23229 initial part is an instance of spatial relation
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 23256-23256 initially contains part is an instance of spatial relation
(instance larger SpatialRelation) Merge.kif 7660-7660 larger is an instance of spatial relation
(instance orientation SpatialRelation) Merge.kif 16656-16656 orientation is an instance of spatial relation
(instance part SpatialRelation) Merge.kif 897-897 part is an instance of spatial relation
(instance partiallyFills SpatialRelation) Merge.kif 9888-9888 partially fills is an instance of spatial relation
(instance partlyLocated SpatialRelation) Merge.kif 3960-3960 partly located 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)
        (?REL ?OBJ1 ?OBJ2))
    (overlapsTemporally
        (WhenFn ?OBJ1)
        (WhenFn ?OBJ2)))
Merge.kif 8161-8166


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 is open source software produced by Articulate Software and its partners