Simple Browser : Welcome guest : log in

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

KB Term:

SupplyFn

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 total ordering relation A BinaryRelation is a TotalOrderingRelation if it is a PartialOrderingRelation and a TrichotomizingRelation. Relationships       Parents partial ordering relation A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation.   trichotomizing relation A BinaryRelation ?REL is a TrichotomizingRelation just in case all ordered pairs consisting of distinct individuals are elements of ?REL. Show full definition (without tree view) Show full definition (with tree view)

Show without tree