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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpatialRelation

Sigma KEE - SpatialRelation
SpatialRelationخَاصِيَّة حَيِّزِيَّة, خَاصِيَّة مَكَانِيَّة, خَاصِيَّة فَضَائِيَّة, بُعْد, وِجْهَة نَظَر, مسافة, ترْتِيب مكانِي, مُخطّط, تصْمِيم, ترْتِيب, حيِّزِيّ, فضائِيّ, حيِّزِيّاً, فضائِيّاً, مكانِيّاً,

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