SpatialRelation - Sigma Knowledge base Browser

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 2653-2655
(documentation SpatialRelation JapaneseLanguage " Relation の Class は、広い意味で空間的である。この Class には、単なる関係とトポロジ的な関係が含まれる。")	japanese_format.kif 543-544
(subclass SpatialRelation InheritableRelation)	Merge.kif 2651-2651	Spatial relation is a subclass of inheritable relation
(subclass SpatialRelation Relation)	Merge.kif 2650-2650	Spatial relation is a subclass of relation

appearance as argument number 2

(instance BackFn SpatialRelation)	Merge.kif 888-888	Back is an instance of spatial relation
(instance FrontFn SpatialRelation)	Merge.kif 868-868	Front is an instance of spatial relation
(instance MereologicalDifferenceFn SpatialRelation)	Merge.kif 9891-9891	Mereological difference is an instance of spatial relation
(instance MereologicalProductFn SpatialRelation)	Merge.kif 9870-9870	Mereological product is an instance of spatial relation
(instance MereologicalSumFn SpatialRelation)	Merge.kif 9848-9848	Mereological sum is an instance of spatial relation
(instance WhereFn SpatialRelation)	Merge.kif 4216-4216	Where is an instance of spatial relation
(instance absoluteHeight SpatialRelation)	MilitaryDevices.kif 1454-1454	absolute height is an instance of spatial relation
(instance beforeOnPath SpatialRelation)	Mid-level-ontology.kif 30863-30863	before on path is an instance of spatial relation
(instance between SpatialRelation)	Merge.kif 4146-4146	between is an instance of spatial relation
(instance betweenOnPath SpatialRelation)	Merge.kif 4167-4167	between on path is an instance of spatial relation
(instance connected SpatialRelation)	Merge.kif 9565-9565	connected is an instance of spatial relation
(instance connects SpatialRelation)	Merge.kif 9592-9592	connects is an instance of spatial relation
(instance contains SpatialRelation)	Merge.kif 1007-1007	contains is an instance of spatial relation
(instance covers SpatialRelation)	Merge.kif 15973-15973	covers is an instance of spatial relation
(instance cylinderBore SpatialRelation)	Cars.kif 1531-1531	cylinder bore is an instance of spatial relation
(instance distance SpatialRelation)	Merge.kif 7719-7719	distance is an instance of spatial relation
(instance hole SpatialRelation)	Merge.kif 985-985	hole is an instance of spatial relation
(instance initialPart SpatialRelation)	Mid-level-ontology.kif 24815-24815	initial part is an instance of spatial relation
(instance initiallyContainsPart SpatialRelation)	Mid-level-ontology.kif 24843-24843	initially contains part is an instance of spatial relation
(instance larger SpatialRelation)	Merge.kif 7790-7790	larger is an instance of spatial relation
(instance orientation SpatialRelation)	Merge.kif 17006-17006	orientation is an instance of spatial relation
(instance part SpatialRelation)	Merge.kif 907-907	part is an instance of spatial relation
(instance partiallyFills SpatialRelation)	Merge.kif 10040-10040	partially fills is an instance of spatial relation
(instance partlyLocated SpatialRelation)	Merge.kif 4038-4038	partly located is an instance of spatial relation
(instance physicalAmplitude SpatialRelation)	Cars.kif 729-729	physical amplitude is an instance of spatial relation

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 8291-8298

If an entity is an instance of binary predicate and the entity is an instance of spatial relation and a physical is an instance of physical and another physical is an instance of physical and the entity the physical and the other physical,
then the time of existence of the other physical overlaps the time of existence of the physical

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

KB Term:			Term intersection

English Word: