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 2560-2562
(subclass SpatialRelation InheritableRelation) Merge.kif 2558-2558 Spatial relation is a subclass of inheritable relation
(subclass SpatialRelation Relation) Merge.kif 2557-2557 Spatial relation is a subclass of relation

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


(instance BackFn SpatialRelation) Merge.kif 852-852 Back is an instance of spatial relation
(instance FrontFn SpatialRelation) Merge.kif 832-832 Front is an instance of spatial relation
(instance MereologicalDifferenceFn SpatialRelation) Merge.kif 9210-9210 Mereological difference is an instance of spatial relation
(instance MereologicalProductFn SpatialRelation) Merge.kif 9189-9189 Mereological product is an instance of spatial relation
(instance MereologicalSumFn SpatialRelation) Merge.kif 9167-9167 Mereological sum is an instance of spatial relation
(instance WhereFn SpatialRelation) Merge.kif 4037-4037 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 28008-28008 beforeOnPath is an instance of spatial relation
(instance between SpatialRelation) Merge.kif 3967-3967 between is an instance of spatial relation
(instance betweenOnPath SpatialRelation) Merge.kif 3988-3988 between on path is an instance of spatial relation
(instance connected SpatialRelation) Merge.kif 8919-8919 connected is an instance of spatial relation
(instance connects SpatialRelation) Merge.kif 8941-8941 connects is an instance of spatial relation
(instance contains SpatialRelation) Merge.kif 940-940 contains is an instance of spatial relation
(instance covers SpatialRelation) Mid-level-ontology.kif 27978-27978 covers is an instance of spatial relation
(instance cylinderBore SpatialRelation) Cars.kif 1527-1527 cylinderBore is an instance of spatial relation
(instance distance SpatialRelation) Merge.kif 7254-7254 distance is an instance of spatial relation
(instance havePartTypes SpatialRelation) Mid-level-ontology.kif 21725-21725 havePartTypes is an instance of spatial relation
(instance hole SpatialRelation) Merge.kif 9236-9236 hole is an instance of spatial relation
(instance initialPart SpatialRelation) Mid-level-ontology.kif 21674-21674 initial part is an instance of spatial relation
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 21701-21701 initially contains part is an instance of spatial relation
(instance larger SpatialRelation) Merge.kif 7325-7325 larger is an instance of spatial relation
(instance orientation SpatialRelation) Merge.kif 15714-15714 orientation is an instance of spatial relation
(instance part SpatialRelation) Merge.kif 871-871 part is an instance of spatial relation
(instance partiallyFills SpatialRelation) Merge.kif 9359-9359 partially fills is an instance of spatial relation
(instance partlyLocated SpatialRelation) Merge.kif 3859-3859 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 7756-7761


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners