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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpatialRelation
SpatialRelation(Relacao Espacial)

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 Relacao Espacial e' uma sub-classe de InheritableRelation
(subclass SpatialRelation Relation) Merge.kif 2656-2656 Relacao Espacial e' uma sub-classe de Relacao

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


(instance BackFn SpatialRelation) Merge.kif 895-895 BackFn e' uma instancia de Relacao Espacial
(instance FrontFn SpatialRelation) Merge.kif 875-875 FrontFn e' uma instancia de Relacao Espacial
(instance MereologicalDifferenceFn SpatialRelation) Merge.kif 9826-9826 MereologicalDifferenceFn e' uma instancia de Relacao Espacial
(instance MereologicalProductFn SpatialRelation) Merge.kif 9805-9805 MereologicalProductFn e' uma instancia de Relacao Espacial
(instance MereologicalSumFn SpatialRelation) Merge.kif 9783-9783 MereologicalSumFn e' uma instancia de Relacao Espacial
(instance WhereFn SpatialRelation) Merge.kif 4220-4220 WhereFn e' uma instancia de Relacao Espacial
(instance absoluteHeight SpatialRelation) MilitaryDevices.kif 1454-1454 absoluteHeight e' uma instancia de Relacao Espacial
(instance beforeOnPath SpatialRelation) Mid-level-ontology.kif 29774-29774 beforeOnPath e' uma instancia de Relacao Espacial
(instance between SpatialRelation) Merge.kif 4150-4150 between e' uma instancia de Relacao Espacial
(instance betweenOnPath SpatialRelation) Merge.kif 4171-4171 betweenOnPath e' uma instancia de Relacao Espacial
(instance connected SpatialRelation) Merge.kif 9500-9500 connected e' uma instancia de Relacao Espacial
(instance connects SpatialRelation) Merge.kif 9527-9527 connects e' uma instancia de Relacao Espacial
(instance contains SpatialRelation) Merge.kif 1014-1014 contains e' uma instancia de Relacao Espacial
(instance covers SpatialRelation) Mid-level-ontology.kif 29743-29743 covers e' uma instancia de Relacao Espacial
(instance cylinderBore SpatialRelation) Cars.kif 1531-1531 cylinderBore e' uma instancia de Relacao Espacial
(instance distance SpatialRelation) Merge.kif 7677-7677 distance e' uma instancia de Relacao Espacial
(instance hole SpatialRelation) Merge.kif 992-992 hole e' uma instancia de Relacao Espacial
(instance initialPart SpatialRelation) Mid-level-ontology.kif 23697-23697 initialPart e' uma instancia de Relacao Espacial
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 23724-23724 initiallyContainsPart e' uma instancia de Relacao Espacial
(instance larger SpatialRelation) Merge.kif 7748-7748 larger e' uma instancia de Relacao Espacial
(instance orientation SpatialRelation) Merge.kif 16910-16910 orientation e' uma instancia de Relacao Espacial
(instance part SpatialRelation) Merge.kif 914-914 part e' uma instancia de Relacao Espacial
(instance partiallyFills SpatialRelation) Merge.kif 9975-9975 partiallyFills e' uma instancia de Relacao Espacial
(instance partlyLocated SpatialRelation) Merge.kif 4042-4042 partlyLocated e' uma instancia de Relacao Espacial
(instance physicalAmplitude SpatialRelation) Cars.kif 729-729 physicalAmplitude e' uma instancia de Relacao Espacial

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