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 包括分体论关系和拓扑关系。") 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 " RelationClass は、広い意味で空間的 である。この Class には、単なる関係とトポロジ的な関係が含まれる。") japanese_format.kif 543-544
(subclass SpatialRelation InheritableRelation) Merge.kif 2657-2657
(subclass SpatialRelation Relation) Merge.kif 2656-2656

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


(instance BackFn SpatialRelation) Merge.kif 895-895
(instance FrontFn SpatialRelation) Merge.kif 875-875
(instance MereologicalDifferenceFn SpatialRelation) Merge.kif 9862-9862
(instance MereologicalProductFn SpatialRelation) Merge.kif 9841-9841
(instance MereologicalSumFn SpatialRelation) Merge.kif 9819-9819
(instance WhereFn SpatialRelation) Merge.kif 4221-4221
(instance absoluteHeight SpatialRelation) MilitaryDevices.kif 1454-1454
(instance beforeOnPath SpatialRelation) Mid-level-ontology.kif 29799-29799
(instance between SpatialRelation) Merge.kif 4151-4151
(instance betweenOnPath SpatialRelation) Merge.kif 4172-4172
(instance connected SpatialRelation) Merge.kif 9536-9536
(instance connects SpatialRelation) Merge.kif 9563-9563
(instance contains SpatialRelation) Merge.kif 1014-1014
(instance covers SpatialRelation) Merge.kif 15948-15948
(instance cylinderBore SpatialRelation) Cars.kif 1531-1531
(instance distance SpatialRelation) Merge.kif 7713-7713
(instance hole SpatialRelation) Merge.kif 992-992
(instance initialPart SpatialRelation) Mid-level-ontology.kif 23753-23753
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 23781-23781
(instance larger SpatialRelation) Merge.kif 7784-7784
(instance orientation SpatialRelation) Merge.kif 16981-16981
(instance part SpatialRelation) Merge.kif 914-914
(instance partiallyFills SpatialRelation) Merge.kif 10011-10011
(instance partlyLocated SpatialRelation) Merge.kif 4043-4043
(instance physicalAmplitude SpatialRelation) Cars.kif 729-729

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


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