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 SpatialRelation Relation) Merge.kif 2596-2596

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


(instance BackFn SpatialRelation) Merge.kif 870-870
(instance FrontFn SpatialRelation) Merge.kif 850-850
(instance MereologicalDifferenceFn SpatialRelation) Merge.kif 9728-9728
(instance MereologicalProductFn SpatialRelation) Merge.kif 9707-9707
(instance MereologicalSumFn SpatialRelation) Merge.kif 9685-9685
(instance WhereFn SpatialRelation) Merge.kif 4130-4130
(instance absoluteHeight SpatialRelation) MilitaryDevices.kif 1454-1454
(instance beforeOnPath SpatialRelation) Mid-level-ontology.kif 29162-29162
(instance between SpatialRelation) Merge.kif 4060-4060
(instance betweenOnPath SpatialRelation) Merge.kif 4081-4081
(instance connected SpatialRelation) Merge.kif 9398-9398
(instance connects SpatialRelation) Merge.kif 9420-9420
(instance contains SpatialRelation) Merge.kif 966-966
(instance covers SpatialRelation) Mid-level-ontology.kif 29131-29131
(instance cylinderBore SpatialRelation) Cars.kif 1531-1531
(instance distance SpatialRelation) Merge.kif 7581-7581
(instance havePartTypes SpatialRelation) Mid-level-ontology.kif 23171-23171
(instance hole SpatialRelation) Merge.kif 9754-9754
(instance initialPart SpatialRelation) Mid-level-ontology.kif 23120-23120
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 23147-23147
(instance larger SpatialRelation) Merge.kif 7652-7652
(instance orientation SpatialRelation) Merge.kif 16628-16628
(instance part SpatialRelation) Merge.kif 889-889
(instance partiallyFills SpatialRelation) Merge.kif 9877-9877
(instance partlyLocated SpatialRelation) Merge.kif 3952-3952

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