Simple Browser : Welcome guest : log in

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

KB Term:

creator

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 closed world predicate Relationships       Parents predicate A Predicate is a sentence-forming Relation. Each tuple in the Relation is a finite, ordered sequence of objects. The fact that a particular tuple is an element of a Predicate is denoted by '(*predicate* arg_1 arg_2 .. arg_n)', where the arg_i are the objects so related. In the case of BinaryPredicates, the fact can be read as `arg_1 is *predicate* arg_2' or `a *predicate* of arg_1 is arg_2'. Instances subclass (subclass ?CLASS1 ?CLASS2) means that ?CLASS1 is a subclass of ?CLASS2, i.e. every instance of ?CLASS1 is also an instance of ?CLASS2. A Class may have multiple superclasses and subclasses. Show full definition (without tree view) Show full definition (with tree view)

Show without tree