Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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, spatial_relation, spatiality, spatially, spread, third-dimensionality, three-dimensionality, topography, two-dimensionality...

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


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

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


(instance BackFn SpatialRelation) Merge.kif 939-939 Back is an instance of spatial relation
(instance FrontFn SpatialRelation) Merge.kif 913-913 Front is an instance of spatial relation
(instance MereologicalDifferenceFn SpatialRelation) Merge.kif 9838-9838 Mereological difference is an instance of spatial relation
(instance MereologicalProductFn SpatialRelation) Merge.kif 9816-9816 Mereological product is an instance of spatial relation
(instance MereologicalSumFn SpatialRelation) Merge.kif 9793-9793 Mereological sum is an instance of spatial relation
(instance WhereFn SpatialRelation) Merge.kif 4358-4358 Where is an instance of spatial relation
(instance absoluteHeight SpatialRelation) MilitaryDevices.kif 1453-1453 absolute height is an instance of spatial relation
(instance beforeOnPath SpatialRelation) Mid-level-ontology.kif 27950-27950 beforeOnPath is an instance of spatial relation
(instance between SpatialRelation) Merge.kif 4280-4280 between is an instance of spatial relation
(instance betweenOnPath SpatialRelation) Merge.kif 4306-4306 between on path is an instance of spatial relation
(instance connected SpatialRelation) Merge.kif 9529-9529 connected is an instance of spatial relation
(instance connects SpatialRelation) Merge.kif 9552-9552 connects is an instance of spatial relation
(instance contains SpatialRelation) Merge.kif 1042-1042 contains is an instance of spatial relation
(instance covers SpatialRelation) Mid-level-ontology.kif 27920-27920 covers is an instance of spatial relation
(instance cylinderBore SpatialRelation) Cars.kif 1526-1526 cylinderBore is an instance of spatial relation
(instance distance SpatialRelation) Merge.kif 7876-7876 distance is an instance of spatial relation
(instance havePartTypes SpatialRelation) Mid-level-ontology.kif 21660-21660 havePartTypes is an instance of spatial relation
(instance hole SpatialRelation) Merge.kif 9865-9865 hole is an instance of spatial relation
(instance initialPart SpatialRelation) Mid-level-ontology.kif 21609-21609 initial part is an instance of spatial relation
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 21636-21636 initially contains part is an instance of spatial relation
(instance larger SpatialRelation) Merge.kif 7952-7952 larger is an instance of spatial relation
(instance orientation SpatialRelation) Merge.kif 17223-17223 orientation is an instance of spatial relation
(instance part SpatialRelation) Merge.kif 964-964 part is an instance of spatial relation
(instance partiallyFills SpatialRelation) Merge.kif 10000-10000 partially fills is an instance of spatial relation
(instance partlyLocated SpatialRelation) Merge.kif 4163-4163 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 8413-8418


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