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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpatialRelation
SpatialRelation(空间关系)

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 2636-2638
(subclass SpatialRelation InheritableRelation) Merge.kif 2634-2634 空间关系 是 可继承的关系 的 subclass
(subclass SpatialRelation Relation) Merge.kif 2633-2633 空间关系 是 关系 的 subclass

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


(instance BackFn SpatialRelation) Merge.kif 884-884 挪后函数 是 空间关系 的 instance
(instance FrontFn SpatialRelation) Merge.kif 864-864 挪前函数 是 空间关系 的 instance
(instance MereologicalDifferenceFn SpatialRelation) Merge.kif 9795-9795 部分差异函数 是 空间关系 的 instance
(instance MereologicalProductFn SpatialRelation) Merge.kif 9774-9774 部分积函数 是 空间关系 的 instance
(instance MereologicalSumFn SpatialRelation) Merge.kif 9752-9752 部分总和函数 是 空间关系 的 instance
(instance WhereFn SpatialRelation) Merge.kif 4197-4197 表示位置的函数 是 空间关系 的 instance
(instance absoluteHeight SpatialRelation) MilitaryDevices.kif 1454-1454 绝对高度 是 空间关系 的 instance
(instance beforeOnPath SpatialRelation) Mid-level-ontology.kif 29690-29690 beforeOnPath 是 空间关系 的 instance
(instance between SpatialRelation) Merge.kif 4127-4127 之间 是 空间关系 的 instance
(instance betweenOnPath SpatialRelation) Merge.kif 4148-4148 在路径之间 是 空间关系 的 instance
(instance connected SpatialRelation) Merge.kif 9465-9465 相连 是 空间关系 的 instance
(instance connects SpatialRelation) Merge.kif 9487-9487 连接 是 空间关系 的 instance
(instance contains SpatialRelation) Merge.kif 1003-1003 容纳 是 空间关系 的 instance
(instance covers SpatialRelation) Mid-level-ontology.kif 29659-29659 covers 是 空间关系 的 instance
(instance cylinderBore SpatialRelation) Cars.kif 1531-1531 cylinderBore 是 空间关系 的 instance
(instance distance SpatialRelation) Merge.kif 7644-7644 距离 是 空间关系 的 instance
(instance havePartTypes SpatialRelation) Mid-level-ontology.kif 23698-23698 havePartTypes 是 空间关系 的 instance
(instance hole SpatialRelation) Merge.kif 981-981 洞 是 空间关系 的 instance
(instance initialPart SpatialRelation) Mid-level-ontology.kif 23647-23647 初始部分 是 空间关系 的 instance
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 23674-23674 最初包含部分 是 空间关系 的 instance
(instance larger SpatialRelation) Merge.kif 7715-7715 更大 是 空间关系 的 instance
(instance orientation SpatialRelation) Merge.kif 16760-16760 定向 是 空间关系 的 instance
(instance part SpatialRelation) Merge.kif 903-903 部分 是 空间关系 的 instance
(instance partiallyFills SpatialRelation) Merge.kif 9935-9935 部分填入 是 空间关系 的 instance
(instance partlyLocated SpatialRelation) Merge.kif 4019-4019 有一部分位于 是 空间关系 的 instance

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


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