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 2659-2661
(documentation SpatialRelation JapaneseLanguage " Relation の Class は、広い意味で空間的 である。この Class には、単なる関係とトポロジ的な関係が含まれる。") japanese_format.kif 543-544
(subclass SpatialRelation InheritableRelation) Merge.kif 2657-2657 子類 SpatialRelation and 可繼承的關係
(subclass SpatialRelation Relation) Merge.kif 2656-2656 子類 SpatialRelation and Relation

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


(instance BackFn SpatialRelation) Merge.kif 895-895 例 背部 and SpatialRelation
(instance FrontFn SpatialRelation) Merge.kif 875-875 例 面前 and SpatialRelation
(instance MereologicalDifferenceFn SpatialRelation) Merge.kif 9826-9826 例 分類差異 and SpatialRelation
(instance MereologicalProductFn SpatialRelation) Merge.kif 9805-9805 例 mereological產品 and SpatialRelation
(instance MereologicalSumFn SpatialRelation) Merge.kif 9783-9783 例 mereological 總和 and SpatialRelation
(instance WhereFn SpatialRelation) Merge.kif 4220-4220 例 哪裡 and SpatialRelation
(instance absoluteHeight SpatialRelation) MilitaryDevices.kif 1454-1454 例 絕對高度 and SpatialRelation
(instance beforeOnPath SpatialRelation) Mid-level-ontology.kif 29774-29774 例 beforeOnPath and SpatialRelation
(instance between SpatialRelation) Merge.kif 4150-4150 例 之間 and SpatialRelation
(instance betweenOnPath SpatialRelation) Merge.kif 4171-4171 例 在路徑之間 and SpatialRelation
(instance connected SpatialRelation) Merge.kif 9500-9500 例 連接的 and SpatialRelation
(instance connects SpatialRelation) Merge.kif 9527-9527 例 連接 and SpatialRelation
(instance contains SpatialRelation) Merge.kif 1014-1014 例 包含 and SpatialRelation
(instance covers SpatialRelation) Mid-level-ontology.kif 29743-29743 例 covers and SpatialRelation
(instance cylinderBore SpatialRelation) Cars.kif 1531-1531 例 cylinderBore and SpatialRelation
(instance distance SpatialRelation) Merge.kif 7677-7677 例 距離 and SpatialRelation
(instance hole SpatialRelation) Merge.kif 992-992 例 hole and SpatialRelation
(instance initialPart SpatialRelation) Mid-level-ontology.kif 23697-23697 例 初始部分 and SpatialRelation
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 23724-23724 例 最初包含部分 and SpatialRelation
(instance larger SpatialRelation) Merge.kif 7748-7748 例 更大 and SpatialRelation
(instance orientation SpatialRelation) Merge.kif 16910-16910 例 方位 and SpatialRelation
(instance part SpatialRelation) Merge.kif 914-914 例 部分 and SpatialRelation
(instance partiallyFills SpatialRelation) Merge.kif 9975-9975 例 部分填補 and SpatialRelation
(instance partlyLocated SpatialRelation) Merge.kif 4042-4042 例 部分位於 and SpatialRelation
(instance physicalAmplitude SpatialRelation) Cars.kif 729-729 例 physicalAmplitude and SpatialRelation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (instance ?REL BinaryPredicate)
        (instance ?REL SpatialRelation)
        (instance ?OBJ1 Physical)
        (instance ?OBJ2 Physical)
        (?REL ?OBJ1 ?OBJ2))
    (overlapsTemporally
        (WhenFn ?OBJ1)
        (WhenFn ?OBJ2)))		 Merge.kif 8249-8256


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