Knowledge base Browser - SpatialRelation

appearance as argument number 1

(documentation SpatialRelation EnglishLanguage "The class of relations that are spatial in a wide sense. This class includes mereological relations and topological relations.")	Merge.kif 2153-2155
(subclass SpatialRelation InheritableRelation)	Merge.kif 2152-2152	Spatial relation is a subclass of inheritable relation
(subclass SpatialRelation Relation)	Merge.kif 2151-2151	Spatial relation is a subclass of relation

appearance as argument number 2

(instance BackFn SpatialRelation)	Merge.kif 776-776	Back is an instance of spatial relation
(instance FrontFn SpatialRelation)	Merge.kif 755-755	Front is an instance of spatial relation
(instance HoleHostFn SpatialRelation)	Merge.kif 7890-7890	Hole host is an instance of spatial relation
(instance HoleSkinFn SpatialRelation)	Merge.kif 8036-8036	Hole skin is an instance of spatial relation
(instance MereologicalDifferenceFn SpatialRelation)	Merge.kif 7789-7789	Mereological difference is an instance of spatial relation
(instance MereologicalProductFn SpatialRelation)	Merge.kif 7769-7769	Mereological product is an instance of spatial relation
(instance MereologicalSumFn SpatialRelation)	Merge.kif 7748-7748	Mereological sum is an instance of spatial relation
(instance WhereFn SpatialRelation)	Merge.kif 3324-3324	Where is an instance of spatial relation
(instance absoluteHeight SpatialRelation)	MilitaryDevices.kif 1454-1454	absolute height is an instance of spatial relation
(instance between SpatialRelation)	Merge.kif 3279-3279	between is an instance of spatial relation
(instance betweenOnPath SpatialRelation)	Military.kif 701-701	between on path is an instance of spatial relation
(instance connected SpatialRelation)	Merge.kif 7534-7534	connected is an instance of spatial relation
(instance connects SpatialRelation)	Merge.kif 7555-7555	connects is an instance of spatial relation
(instance contains SpatialRelation)	Merge.kif 855-855	contains is an instance of spatial relation
(instance distance SpatialRelation)	Merge.kif 6275-6275	distance is an instance of spatial relation
(instance hole SpatialRelation)	Merge.kif 7814-7814	hole is an instance of spatial relation
(instance initialPart SpatialRelation)	Mid-level-ontology.kif 16644-16644	initial part is an instance of spatial relation
(instance initiallyContainsPart SpatialRelation)	Mid-level-ontology.kif 16671-16671	initially contains part is an instance of spatial relation
(instance larger SpatialRelation)	Merge.kif 6333-6333	larger is an instance of spatial relation
(instance orientation SpatialRelation)	Merge.kif 13805-13805	orientation is an instance of spatial relation
(instance part SpatialRelation)	Merge.kif 796-796	part is an instance of spatial relation
(instance partiallyFills SpatialRelation)	Merge.kif 7935-7935	partially fills is an instance of spatial relation
(instance partlyLocated SpatialRelation)	Merge.kif 3209-3209	partly located is an instance of spatial relation
(instance smaller SpatialRelation)	Merge.kif 6352-6352	smaller is an instance of spatial relation
(instance traverses SpatialRelation)	Merge.kif 3294-3294	traverses is an instance of spatial relation

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 6731-6736

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

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners

KB Term:

English Word: