Simple Browser : Welcome guest : log in

[  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageHindiItalianLanguageJapaneseLanguagePortugueseLanguageSpanishLanguageSwedishLanguagecbczdehirosvtg   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

KB Term:

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

disconnected

disconnected is a RCC8Relation. (disconnected ?A ?B) means that ?A is a disconnected from ?B, meaning ?A and ?B shares no point.

Relationships
Instances	abstract	Properties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium. Instances of Abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place and time without some physical encoding or embodiment.
	binary relation	BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.
	entity	The universal class of individuals. This is the root node of the ontology.
	inheritable relation	The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
	region connection calculus 8	The RCC8Relation is intended to serve for qualitative spatial representation and reasoning. RCC abstractly describes regions (in Euclidean space, or in a topological space) by their possible relations to each other. RCC8 consists of 8 basic relations that are possible between two regions: disconnected (DC), externally connected (EC), equal (EQ), partially overlapping (PO), tangential proper part (TPP), tangential proper part inverse (TPPi), non-tangential proper part (NTPP), non-tangential proper part inverse (NTPPi). From these basic relations, combinations can be built, for spatial reasoning,for example via a composition table.[Wikipedia]
	relation	The Class of relations.There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators.
	spatial relation	The Class of Relations that are spatial in a wide sense. This Class includes mereological relations and topological relations.
	symmetric relation	A BinaryRelation ?REL is symmetric just iff (?REL ?INST1 ?INST2) imples (?REL ?INST2 ?INST1), for all ?INST1 and ?INST2.
Belongs to Class	entity

Show simplified definition with tree view
Show full definition (without tree view)
Show full 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