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 2564-2566
(subclass SpatialRelation InheritableRelation) Merge.kif 2562-2562
(subclass SpatialRelation Relation) Merge.kif 2561-2561

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


(instance BackFn SpatialRelation) Merge.kif 852-852
(instance FrontFn SpatialRelation) Merge.kif 832-832
(instance MereologicalDifferenceFn SpatialRelation) Merge.kif 9268-9268
(instance MereologicalProductFn SpatialRelation) Merge.kif 9247-9247
(instance MereologicalSumFn SpatialRelation) Merge.kif 9225-9225
(instance WhereFn SpatialRelation) Merge.kif 4080-4080
(instance absoluteHeight SpatialRelation) MilitaryDevices.kif 1454-1454
(instance beforeOnPath SpatialRelation) Mid-level-ontology.kif 26008-26008
(instance between SpatialRelation) Merge.kif 4010-4010
(instance betweenOnPath SpatialRelation) Merge.kif 4031-4031
(instance connected SpatialRelation) Merge.kif 8973-8973
(instance connects SpatialRelation) Merge.kif 8995-8995
(instance contains SpatialRelation) Merge.kif 941-941
(instance covers SpatialRelation) Mid-level-ontology.kif 25977-25977
(instance cylinderBore SpatialRelation) Cars.kif 1545-1545
(instance distance SpatialRelation) Merge.kif 7303-7303
(instance havePartTypes SpatialRelation) Mid-level-ontology.kif 20185-20185
(instance hole SpatialRelation) Merge.kif 9294-9294
(instance initialPart SpatialRelation) Mid-level-ontology.kif 20134-20134
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 20161-20161
(instance larger SpatialRelation) Merge.kif 7374-7374
(instance orientation SpatialRelation) Merge.kif 15780-15780
(instance part SpatialRelation) Merge.kif 871-871
(instance partiallyFills SpatialRelation) Merge.kif 9417-9417
(instance partlyLocated SpatialRelation) Merge.kif 3902-3902

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 7807-7812


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