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 2599-2601
(subclass SpatialRelation InheritableRelation) Merge.kif 2597-2597 空间关系可继承的关系subclass
(subclass SpatialRelation Relation) Merge.kif 2596-2596 空间关系关系subclass

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


(instance BackFn SpatialRelation) Merge.kif 870-870 挪后函数空间关系instance
(instance FrontFn SpatialRelation) Merge.kif 850-850 挪前函数空间关系instance
(instance MereologicalDifferenceFn SpatialRelation) Merge.kif 9728-9728 部分差异函数空间关系instance
(instance MereologicalProductFn SpatialRelation) Merge.kif 9707-9707 部分积函数空间关系instance
(instance MereologicalSumFn SpatialRelation) Merge.kif 9685-9685 部分总和函数空间关系instance
(instance WhereFn SpatialRelation) Merge.kif 4130-4130 表示位置的函数空间关系instance
(instance absoluteHeight SpatialRelation) MilitaryDevices.kif 1454-1454 绝对高度空间关系instance
(instance beforeOnPath SpatialRelation) Mid-level-ontology.kif 29162-29162 beforeOnPath空间关系instance
(instance between SpatialRelation) Merge.kif 4060-4060 之间空间关系instance
(instance betweenOnPath SpatialRelation) Merge.kif 4081-4081 在路径之间空间关系instance
(instance connected SpatialRelation) Merge.kif 9398-9398 相连空间关系instance
(instance connects SpatialRelation) Merge.kif 9420-9420 连接空间关系instance
(instance contains SpatialRelation) Merge.kif 966-966 容纳空间关系instance
(instance covers SpatialRelation) Mid-level-ontology.kif 29131-29131 covers空间关系instance
(instance cylinderBore SpatialRelation) Cars.kif 1531-1531 cylinderBore空间关系instance
(instance distance SpatialRelation) Merge.kif 7581-7581 距离空间关系instance
(instance havePartTypes SpatialRelation) Mid-level-ontology.kif 23171-23171 havePartTypes空间关系instance
(instance hole SpatialRelation) Merge.kif 9754-9754 空间关系instance
(instance initialPart SpatialRelation) Mid-level-ontology.kif 23120-23120 初始部分空间关系instance
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 23147-23147 最初包含部分空间关系instance
(instance larger SpatialRelation) Merge.kif 7652-7652 更大空间关系instance
(instance orientation SpatialRelation) Merge.kif 16628-16628 定向空间关系instance
(instance part SpatialRelation) Merge.kif 889-889 部分空间关系instance
(instance partiallyFills SpatialRelation) Merge.kif 9877-9877 部分填入空间关系instance
(instance partlyLocated SpatialRelation) Merge.kif 3952-3952 有一部分位于空间关系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 8153-8158


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