Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpatialRelation
SpatialRelationعَلاقَة حَيِّزِيَّة, Relacao_Espacial, RelazioneSpaziale, 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, relation_spatial, scatter, spacial, spacing, spatial, spatial_arrangement, spatial_property, spatial_relation, spatiality, spatially, spread...

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


(documentation SpatialRelation ChineseLanguage "这是一个广义的空间 Relation Class,这个 Class 包括分体论关系和拓扑关系。") Merge.kif 2827-2828
(documentation SpatialRelation EnglishLanguage "The Class of Relations that are spatial in a wide sense. This Class includes mereological relations and topological relations.") Merge.kif 2824-2826
(subclass SpatialRelation InheritableRelation) Merge.kif 2823-2823
(subclass SpatialRelation Relation) Merge.kif 2822-2822

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


(instance BackFn SpatialRelation) Merge.kif 927-927
(instance FrontFn SpatialRelation) Merge.kif 901-901
(instance HoleHostFn SpatialRelation) Merge.kif 9891-9891
(instance HoleSkinFn SpatialRelation) Merge.kif 10065-10065
(instance MereologicalDifferenceFn SpatialRelation) Merge.kif 9780-9780
(instance MereologicalProductFn SpatialRelation) Merge.kif 9758-9758
(instance MereologicalSumFn SpatialRelation) Merge.kif 9735-9735
(instance WhereFn SpatialRelation) Merge.kif 4345-4345
(instance absoluteHeight SpatialRelation) MilitaryDevices.kif 1453-1453
(instance beforeOnPath SpatialRelation) Mid-level-ontology.kif 27870-27870
(instance between SpatialRelation) Merge.kif 4267-4267
(instance betweenOnPath SpatialRelation) Merge.kif 4293-4293
(instance connected SpatialRelation) Merge.kif 9474-9474
(instance connects SpatialRelation) Merge.kif 9497-9497
(instance contains SpatialRelation) Merge.kif 1030-1030
(instance covers SpatialRelation) Mid-level-ontology.kif 27840-27840
(instance cylinderBore SpatialRelation) Cars.kif 1526-1526
(instance distance SpatialRelation) Merge.kif 7863-7863
(instance havePartTypes SpatialRelation) Mid-level-ontology.kif 21629-21629
(instance hole SpatialRelation) Merge.kif 9807-9807
(instance initialPart SpatialRelation) Mid-level-ontology.kif 21578-21578
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 21605-21605
(instance larger SpatialRelation) Merge.kif 7935-7935
(instance orientation SpatialRelation) Merge.kif 17171-17171
(instance part SpatialRelation) Merge.kif 952-952

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 8396-8401


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