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 852-852 instance BackFn and SpatialRelation
(instance FrontFn SpatialRelation) Merge.kif 832-832 instance FrontFn and SpatialRelation
(instance MereologicalDifferenceFn SpatialRelation) Merge.kif 9210-9210 instance MereologicalDifferenceFn and SpatialRelation
(instance MereologicalProductFn SpatialRelation) Merge.kif 9189-9189 instance MereologicalProductFn and SpatialRelation
(instance MereologicalSumFn SpatialRelation) Merge.kif 9167-9167 instance MereologicalSumFn and SpatialRelation
(instance WhereFn SpatialRelation) Merge.kif 4037-4037 instance WhereFn and SpatialRelation
(instance absoluteHeight SpatialRelation) MilitaryDevices.kif 1454-1454 instance absoluteHeight and SpatialRelation
(instance beforeOnPath SpatialRelation) Mid-level-ontology.kif 28008-28008 instance beforeOnPath and SpatialRelation
(instance between SpatialRelation) Merge.kif 3967-3967 instance between and SpatialRelation
(instance betweenOnPath SpatialRelation) Merge.kif 3988-3988 instance betweenOnPath and SpatialRelation
(instance connected SpatialRelation) Merge.kif 8919-8919 instance connected and SpatialRelation
(instance connects SpatialRelation) Merge.kif 8941-8941 instance connects and SpatialRelation
(instance contains SpatialRelation) Merge.kif 940-940 instance contains and SpatialRelation
(instance covers SpatialRelation) Mid-level-ontology.kif 27978-27978 instance covers and SpatialRelation
(instance cylinderBore SpatialRelation) Cars.kif 1527-1527 instance cylinderBore and SpatialRelation
(instance distance SpatialRelation) Merge.kif 7254-7254 instance distance and SpatialRelation
(instance havePartTypes SpatialRelation) Mid-level-ontology.kif 21725-21725 instance havePartTypes and SpatialRelation
(instance hole SpatialRelation) Merge.kif 9236-9236 instance hole and SpatialRelation
(instance initialPart SpatialRelation) Mid-level-ontology.kif 21674-21674 instance initialPart and SpatialRelation
(instance initiallyContainsPart SpatialRelation) Mid-level-ontology.kif 21701-21701 instance initiallyContainsPart and SpatialRelation
(instance larger SpatialRelation) Merge.kif 7325-7325 instance larger and SpatialRelation
(instance orientation SpatialRelation) Merge.kif 15714-15714 instance orientation and SpatialRelation
(instance part SpatialRelation) Merge.kif 871-871 instance part and SpatialRelation
(instance partiallyFills SpatialRelation) Merge.kif 9359-9359 instance partiallyFills and SpatialRelation
(instance partlyLocated SpatialRelation) Merge.kif 3859-3859 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 7756-7761


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