Simple Browser : Welcome guest : log in

[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishGroupLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguageexpectedYearOfGraduationmeasuringListInterval   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

KB Term:

member

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 reflexive relation Relation ?REL is reflexive iff (?REL ?INST ?INST) for all ?INST. Relationships       Parents binary relation BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems. Children equivalence relation A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation.   partial ordering relation A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation. Instances connected (connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2.   connected regions (connectedRegions ?R1 ?R2) means that ?R1 and ?R2 are connected.   key name (keyName ?S1 ?S2) means that ?S1 is the subString of ?S2 (i.e., the component name) typically used for alphabetical name indexing.   overlap spatially (overlapsSpatially ?OBJ1 ?OBJ2) means that the Objects ?OBJ1 and ?OBJ2 have some parts in common. This is a reflexive and symmetric (but not transitive) relation.   overlap temporally (overlapsTemporally ?INTERVAL1 ?INTERVAL2) means that the TimeIntervals ?INTERVAL1 and ?INTERVAL2 have a TimeInterval as a common part.   sub graph The relation between two Graphs when one Graph is a part of the other. (subGraph ?GRAPH1 ?GRAPH2) means that ?GRAPH1 is a part of ?GRAPH2.   sub string (subString ?SymbolicString-1 ?SymbolicString-2) means that ?SymbolicString-1 is part of ?SymbolicString-2. ?SymbolicString-2 includes all the same Characters as ?SymbolicString-1 and in the same order, but ?SymbolicString-2 may include more Characters than ?SymbolicString-1. See also inString. Show full definition (without tree view) Show full definition (with tree view)

Show without tree