TreeView 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 2659-2661
(documentation SpatialRelation JapaneseLanguage " Relation の Class は、広い意味で空間的である。この Class には、単なる関係とトポロジ的な関係が含まれる。")	japanese_format.kif 543-544
(subclass SpatialRelation InheritableRelation)	Merge.kif 2657-2657	SpatialRelation ist eine teilkategorie von InheritableRelation
(subclass SpatialRelation Relation)	Merge.kif 2656-2656	SpatialRelation ist eine teilkategorie von Relation

appearance as argument number 2

(instance BackFn SpatialRelation)	Merge.kif 895-895	RueckseiteFn ist ein fall von SpatialRelation %n{nicht}
(instance FrontFn SpatialRelation)	Merge.kif 875-875	FrontseiteFn ist ein fall von SpatialRelation %n{nicht}
(instance MereologicalDifferenceFn SpatialRelation)	Merge.kif 9826-9826	MereologicalDifferenceFn ist ein fall von SpatialRelation %n{nicht}
(instance MereologicalProductFn SpatialRelation)	Merge.kif 9805-9805	MereologicalProductFn ist ein fall von SpatialRelation %n{nicht}
(instance MereologicalSumFn SpatialRelation)	Merge.kif 9783-9783	MereologicalSumFn ist ein fall von SpatialRelation %n{nicht}
(instance WhereFn SpatialRelation)	Merge.kif 4220-4220	WoFn ist ein fall von SpatialRelation %n{nicht}
(instance absoluteHeight SpatialRelation)	MilitaryDevices.kif 1454-1454	absoluteHeight ist ein fall von SpatialRelation %n{nicht}
(instance beforeOnPath SpatialRelation)	Mid-level-ontology.kif 29774-29774	beforeOnPath ist ein fall von SpatialRelation %n{nicht}
(instance between SpatialRelation)	Merge.kif 4150-4150	zwischen ist ein fall von SpatialRelation %n{nicht}
(instance betweenOnPath SpatialRelation)	Merge.kif 4171-4171	betweenOnPath ist ein fall von SpatialRelation %n{nicht}
(instance connected SpatialRelation)	Merge.kif 9500-9500	connected ist ein fall von SpatialRelation %n{nicht}
(instance connects SpatialRelation)	Merge.kif 9527-9527	connects ist ein fall von SpatialRelation %n{nicht}
(instance contains SpatialRelation)	Merge.kif 1014-1014	contains ist ein fall von SpatialRelation %n{nicht}
(instance covers SpatialRelation)	Mid-level-ontology.kif 29743-29743	covers ist ein fall von SpatialRelation %n{nicht}
(instance cylinderBore SpatialRelation)	Cars.kif 1531-1531	cylinderBore ist ein fall von SpatialRelation %n{nicht}
(instance distance SpatialRelation)	Merge.kif 7677-7677	distance ist ein fall von SpatialRelation %n{nicht}
(instance hole SpatialRelation)	Merge.kif 992-992	hole ist ein fall von SpatialRelation %n{nicht}
(instance initialPart SpatialRelation)	Mid-level-ontology.kif 23697-23697	initialPart ist ein fall von SpatialRelation %n{nicht}
(instance initiallyContainsPart SpatialRelation)	Mid-level-ontology.kif 23724-23724	initiallyContainsPart ist ein fall von SpatialRelation %n{nicht}
(instance larger SpatialRelation)	Merge.kif 7748-7748	larger ist ein fall von SpatialRelation %n{nicht}
(instance orientation SpatialRelation)	Merge.kif 16910-16910	orientation ist ein fall von SpatialRelation %n{nicht}
(instance part SpatialRelation)	Merge.kif 914-914	teil ist ein fall von SpatialRelation %n{nicht}
(instance partiallyFills SpatialRelation)	Merge.kif 9975-9975	partiallyFills ist ein fall von SpatialRelation %n{nicht}
(instance partlyLocated SpatialRelation)	Merge.kif 4042-4042	befindetSichTeils ist ein fall von SpatialRelation %n{nicht}
(instance physicalAmplitude SpatialRelation)	Cars.kif 729-729	physicalAmplitude ist ein fall von SpatialRelation %n{nicht}

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 8249-8256

Wenn Entity ist ein fall von BinaryPredicate %n{nicht} und ** Entity ist ein fall von SpatialRelation %n{nicht} und Physical ist ein fall von Physical %n{nicht} und ** Physical ist ein fall von Physical %n{nicht} und ** Entity ** Physical and ** ** Physical,
dann die zeit des Bestehens von ** ** Physical deckt sich mit die zeit des Bestehens von ** Physical %n{nicht}

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

Show without tree

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: