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 2560-2562
(subclass SpatialRelation InheritableRelation) Merge.kif 2558-2558 subclass SpatialRelation and InheritableRelation
(subclass SpatialRelation Relation) Merge.kif 2557-2557 subclass SpatialRelation and Relation

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


(instance BackFn SpatialRelation) Merge.kif 855-855 instance BackFn and SpatialRelation
(instance FrontFn SpatialRelation) Merge.kif 833-833 instance FrontFn and SpatialRelation
(instance MereologicalDifferenceFn SpatialRelation) Merge.kif 9109-9109 instance MereologicalDifferenceFn and SpatialRelation
(instance MereologicalProductFn SpatialRelation) Merge.kif 9088-9088 instance MereologicalProductFn and SpatialRelation
(instance MereologicalSumFn SpatialRelation) Merge.kif 9066-9066 instance MereologicalSumFn and SpatialRelation
(instance WhereFn SpatialRelation) Merge.kif 3947-3947 instance WhereFn and SpatialRelation
(instance absoluteHeight SpatialRelation) MilitaryDevices.kif 1454-1454 instance absoluteHeight and SpatialRelation
(instance beforeOnPath SpatialRelation) Mid-level-ontology.kif 27944-27944 instance beforeOnPath and SpatialRelation
(instance between SpatialRelation) Merge.kif 3877-3877 instance between and SpatialRelation
(instance betweenOnPath SpatialRelation) Merge.kif 3898-3898 instance betweenOnPath and SpatialRelation
(instance connected SpatialRelation) Merge.kif 8818-8818 instance connected and SpatialRelation
(instance connects SpatialRelation) Merge.kif 8840-8840 instance connects and SpatialRelation
(instance contains SpatialRelation) Merge.kif 945-945 instance contains and SpatialRelation
(instance covers SpatialRelation) Mid-level-ontology.kif 27914-27914 instance covers and SpatialRelation
(instance cylinderBore SpatialRelation) Cars.kif 1526-1526 instance cylinderBore and SpatialRelation
(instance distance SpatialRelation) Merge.kif 7155-7155 instance distance and SpatialRelation
(instance havePartTypes SpatialRelation) Mid-level-ontology.kif 21661-21661 instance havePartTypes and SpatialRelation
(instance hole SpatialRelation) Merge.kif 9135-9135 instance hole and SpatialRelation
(instance initialPart SpatialRelation) Mid-level-ontology.kif 21610-21610 instance initialPart and SpatialRelation
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 21637-21637 instance initiallyContainsPart and SpatialRelation
(instance larger SpatialRelation) Merge.kif 7224-7224 instance larger and SpatialRelation
(instance orientation SpatialRelation) Merge.kif 15611-15611 instance orientation and SpatialRelation
(instance part SpatialRelation) Merge.kif 876-876 instance part and SpatialRelation
(instance partiallyFills SpatialRelation) Merge.kif 9258-9258 instance partiallyFills and SpatialRelation
(instance partlyLocated SpatialRelation) Merge.kif 3769-3769 instance partlyLocated 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)
        (?REL ?OBJ1 ?OBJ2))
    (overlapsTemporally
        (WhenFn ?OBJ1)
        (WhenFn ?OBJ2)))		 Merge.kif 7655-7660


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners