Simple Browser : Welcome guest : log in

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

KB Term:

Skeleton

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 intransitive relation A BinaryRelation ?REL is intransitive only if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply not (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3. Relationships       Parents binary relation BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems. Instances immediate instance An object is an immediateInstance of a Class if it is an instance of the Class and it is not an instance of a proper subclass of Class.   immediate subclass A Class ?CLASS1 is an immediateSubclass of another Class ?CLASS2 just in case ?CLASS1 is a subclass of ?CLASS2 and there is no other subclass of ?CLASS2 such that ?CLASS1 is also a subclass of it.   inverse The inverse of a BinaryRelation is a Relation in which all the tuples of the original Relation are reversed. In other words, one BinaryRelation is the inverse of another if they are equivalent when their arguments are swapped.   meets temporally (meetsTemporally ?INTERVAL1 ?INTERVAL2) means that the terminal point of the TimeInterval ?INTERVAL1 is the initial point of the TimeInterval ?INTERVAL2.   member A specialized common sense notion of part for uniform parts of Collections. For example, each sheep in a flock of sheep would have the relationship of member to the flock.   parent The general relationship of parenthood. (parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD.   penetrates (penetrates ?OBJ1 ?OBJ2) means that ?OBJ1 is connected to ?OBJ2 along at least one whole dimension (length, width or depth). Show full definition (without tree view) Show full definition (with tree view)

Show without tree