  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  AlbanianLanguageArabicLanguageBasqueLanguageBulgarianLanguageCatalanLanguageChineseLanguageCroatianLanguageDanishLanguageEnglishLanguageFarsiLanguageFinnishLanguageFrenchLanguageGalicianLanguageGermanLanguageGreekLanguageHebrewLanguageHindiIcelandicLanguageIndonesianLanguageItalianLanguageJapaneseLanguageMalayLanguageNorwegianBokmalLanguageNorwegianNorskLanguagePolishLanguagePortugueseLanguageSpanishLanguageSwedishLanguageTaiwanChineseLanguageThaiLanguagearcbclassmatecolleagueczdeexpectedYearOfGraduationhitg   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb

Sigma KEE - ListOrderFn
 ListOrderFn

 appearance as argument number 1 No TPTP formula. May not be expressible in strict first order. Merge.kif 3157-3159 No TPTP formula. May not be expressible in strict first order. Merge.kif 3153-3156 No TPTP formula. May not be expressible in strict first order. Merge.kif 3150-3150 The number 1 argument of list order is an instance of list No TPTP formula. May not be expressible in strict first order. Merge.kif 3151-3151 The number 2 argument of list order is an instance of positive integer No TPTP formula. May not be expressible in strict first order. Merge.kif 3148-3148 List order is an instance of binary function No TPTP formula. May not be expressible in strict first order. Merge.kif 3149-3149 List order is an instance of partial valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 3152-3152 The range of list order is an instance of entity

 appearance as argument number 2 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 263-263 No TPTP formula. May not be expressible in strict first order. english_format.kif 160-160 No TPTP formula. May not be expressible in strict first order. french_format.kif 150-150 No TPTP formula. May not be expressible in strict first order. relations-it.txt 169-169 No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 102-102 No TPTP formula. May not be expressible in strict first order. arabic_format.kif 98-98 No TPTP formula. May not be expressible in strict first order. relations-cz.txt 159-159 No TPTP formula. May not be expressible in strict first order. relations-de.txt 338-338 No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 207-207 No TPTP formula. May not be expressible in strict first order. relations-tg.txt 337-337 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 264-264 "找出表列顺序的函数" is the printable form of list order in ChineseLanguage No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6201-6201 "list order" is the printable form of list order in english language No TPTP formula. May not be expressible in strict first order. arabic_format.kif 548-548 "«عُنْصُر من»" is the printable form of list order in ar No TPTP formula. May not be expressible in strict first order. relations-tg.txt 338-338 "tungkulin ng talaan utos1" is the printable form of list order in tg

 antecedent No TPTP formula. May not be expressible in strict first order. Merge.kif 18693-18698 If defaultMaxValue an entity, a positive integer and a quantity and the entity @ARGS and another quantity is equal to the positive integerth element of (@ARGS),then the statement the quantity is greater than the other quantity has the modal force of likely No TPTP formula. May not be expressible in strict first order. Merge.kif 18679-18684 If defaultMinValue an entity, a positive integer and a quantity and the entity @ARGS and another quantity is equal to the positive integerth element of (@ARGS),then the statement the other quantity is greater than the quantity has the modal force of likely No TPTP formula. May not be expressible in strict first order. Merge.kif 18707-18712 If defaultValue an entity, a positive integer and another entity and the entity @ARGS and a fourth entity is equal to the positive integerth element of (@ARGS),then the statement the other entity is equal to the fourth entity has the modal force of likely No TPTP formula. May not be expressible in strict first order. Media.kif 2108-2115 If there can be 1 values to argument a positive integer of a relation and the relation is an instance of predicate and the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS) and a fourth entity is equal to the positive integerth element of (@ARGS),then the other entity is equal to the fourth entity No TPTP formula. May not be expressible in strict first order. Media.kif 2095-2105 If there can be 1 values to argument a positive integer of a relation and the relation is an instance of predicate and the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS),then there doesn't exist a fourth entity such that the fourth entity is equal to the positive integerth element of (@ARGS) and the other entity is not equal to the fourth entity No TPTP formula. May not be expressible in strict first order. Geography.kif 427-431 If the region a directional attribute of @ROW is an instance of region and 1th element of (@ROW) is equal to a real number angular degree(s),then the real number is less than or equal to 90 No TPTP formula. May not be expressible in strict first order. Geography.kif 467-471 If the meridian at @ROW a directional attribute is an instance of region and 1th element of (@ROW) is equal to a real number angular degree(s),then the real number is less than or equal to 180 No TPTP formula. May not be expressible in strict first order. Merge.kif 18664-18669 If maxValue an entity, a positive integer and a quantity and the entity @ARGS and another quantity is equal to the positive integerth element of (@ARGS),then the quantity is greater than the other quantity No TPTP formula. May not be expressible in strict first order. Merge.kif 18650-18655 If minValue an entity, a positive integer and a quantity and the entity @ARGS and another quantity is equal to the positive integerth element of (@ARGS),then the other quantity is greater than the quantity No TPTP formula. May not be expressible in strict first order. QoSontology.kif 692-700 If the list of processes @ROW and a physical is a member of (@ROW) and another physical is a member of (@ROW) and another entity element of (@ROW) is equal to the physical and a third entity element of (@ROW) is equal to the other physical and a positive integer is less than another positive integer,then the time of existence of the physical happens earlier than the time of existence of the other physical No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 990-1006 If %2 is the list of items viewed by 1 and a physical is an instance of AccessingWebPage and another physical is an instance of AccessingWebPage and a positive integer is an instance of positive integer and another positive integer is an instance of positive integer and the positive integerth element of a list is equal to the physical and the other positive integerth element of the list is equal to the other physical and the positive integer is greater than the other positive integer,then the time of existence of the other physical happens earlier than the time of existence of the physical

 consequent No TPTP formula. May not be expressible in strict first order. Merge.kif 2308-2325 A relation is an instance of total valued relation and the relation is an instance of predicate if and only if there exists a positive integer such that the relation is an instance of relation and the relation %&has the positive integer argument(s) and if for all another positive integer, an entity and a set or class if the other positive integer is less than the positive integer and the number the other positive integer argument of the relation is an instance of the set or class and the entity is equal to the other positive integerth element of (@ROW),then the entity is an instance of the set or class,then there exists a fourth entity such that the relation @ROW and the fourth entity No TPTP formula. May not be expressible in strict first order. People.kif 285-306 A real number is an average of a list if and only if there exists another list such that length of the other list is equal to length of the list and 1th element of the other list is equal to 1th element of the list and for all a positive integer if the positive integer is a member of the other list,then there exist a quantity, the quantityMINUSONE,, , another positive integer and a third positive integer such that the quantity is greater than 1 and the quantity is less than or equal to length of the other list and the positive integerth element of the other list is equal to the quantity and the other positive integer is a member of the list and the quantity is equal to the other positive integerth element of the list and the third positive integer is a member of the other list and the quantityMINUSONE is equal to (the quantity and 1) and the quantityMINUSONE is equal to the third positive integerth element of the other list and the positive integer is equal to (the other positive integer and the third positive integer) and a fourth positive integer is equal to length of the other list and the real number is equal to the fourth positive integerth element of the other list and the fourth positive integer No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6342-6347 The last of a list is equal to an entity if and only if there exists a positive integer such that length of the list is equal to the positive integer and the positive integerth element of the list is equal to the entity No TPTP formula. May not be expressible in strict first order. Merge.kif 3173-3178 If the number a positive integer argument of a relation is an instance of a set or class and the relation is an instance of predicate and the relation @ROW,then the positive integerth element of (@ROW) is an instance of the set or class No TPTP formula. May not be expressible in strict first order. Merge.kif 3180-3185 If the number a positive integer argument of a relation is a subclass of a set or class and the relation is an instance of predicate and the relation @ROW,then the positive integerth element of (@ROW) is a subclass of the set or class No TPTP formula. May not be expressible in strict first order. Media.kif 2095-2105 If there can be 1 values to argument a positive integer of a relation and the relation is an instance of predicate and the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS),then there doesn't exist a fourth entity such that the fourth entity is equal to the positive integerth element of (@ARGS) and the other entity is not equal to the fourth entity No TPTP formula. May not be expressible in strict first order. Media.kif 2077-2092 If there can be 1 values to argument a positive integer of a relation and the relation is an instance of predicate,then there exist an entity and @ARGS such that the relation @ARGS and the entity is equal to the positive integerth element of (@ARGS) and there doesn't exist a fourth entity such that the fourth entity is equal to the positive integerth element of (@ARGS) and the entity is not equal to the fourth entity No TPTP formula. May not be expressible in strict first order. Media.kif 2134-2147 If there can be an integer values to argument a positive integer of a relation and the relation is an instance of predicate,then there exists a set or class such that the set or class is an instance of set or class and if the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS),then the other entity is an instance of the set or class and the number of instances in the set or class is equal to the integer No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6356-6361 If a list is an instance of list and the list is not equal to null list,then the first of the list is equal to 1th element of the list No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2596-2612 If a process is an instance of search engine optimization and an entity is a patient of the process,then the process has purpose there exist another entity_BEFORE, the other entity_AFTER,, , a physical and another physical such that the other entity_BEFORE is an instance of search results and the other entity_AFTER is an instance of SRPResult and the entity is equal to a third entity element of the other entity_BEFORE and the entity is equal to a fourth entity element of the other entity_AFTER and the physical is an instance of best match sort and the other physical is an instance of best match sort and the time of existence of the physical happens earlier than the time of existence of the other physical and the time of existence of the process happens earlier than the time of existence of the other physical and the time of existence of the physical happens earlier than the time of existence of the process and a positive integer is greater than another positive integer No TPTP formula. May not be expressible in strict first order. Media.kif 2205-2218 If there can be at most an integer values to argument a positive integer of a relation and the relation is an instance of predicate,then there exists a set or class such that the set or class is an instance of set or class and if the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS),then the other entity is an instance of the set or class and the number of instances in the set or class is less than or equal to the integer No TPTP formula. May not be expressible in strict first order. Media.kif 2170-2183 If there are at least an integer values to argument a positive integer of a relation and the relation is an instance of predicate,then there exists a set or class such that the set or class is an instance of set or class and if the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS),then the other entity is an instance of the set or class and the number of instances in the set or class is greater than or equal to the integer No TPTP formula. May not be expressible in strict first order. Merge.kif 526-536 If @ROW is the opposite of ,then for all an attribute and another attribute if the attribute is equal to another entity element of (@ROW) and the other attribute is equal to a third entity element of (@ROW) and a positive integer is not equal to another positive integer,then if a fourth entity has an attribute the attribute,then the fourth entity has not an attribute the other attribute No TPTP formula. May not be expressible in strict first order. Merge.kif 326-333 If a list is equal to another list,then if the list is equal to (@ROW1) and the other list is equal to (@ROW2),then for all a positive integer the positive integerth element of (@ROW1) is equal to the positive integerth element of (@ROW2) No TPTP formula. May not be expressible in strict first order. Media.kif 2123-2131 If there can be an integer values to argument a positive integer of a relation,then the number of instances in the class described by an entity is equal to the integer No TPTP formula. May not be expressible in strict first order. Merge.kif 568-580 If @ROW are all the attributes of another kind of attribute,then there doesn't exist an entity such that the entity is an instance of another kind of attribute and there don't exist another entity and a positive integer such that the entity is equal to the other entity and the other entity is equal to the positive integerth element of (@ROW) No TPTP formula. May not be expressible in strict first order. Merge.kif 3294-3297 If an entity is a member of a list,then there exists a positive integer such that the positive integerth element of the list is equal to the entity No TPTP formula. May not be expressible in strict first order. Merge.kif 3081-3086 If a list is an instance of unique list,then for all a positive integer and another positive integer if the positive integerth element of the list is equal to the other positive integerth element of the list,then the positive integer is equal to the other positive integer No TPTP formula. May not be expressible in strict first order. Media.kif 2194-2202 If there can be at most an integer values to argument a positive integer of a relation,then the number of instances in the class described by an entity is less than or equal to the integer No TPTP formula. May not be expressible in strict first order. Media.kif 2158-2166 If there are at least an integer values to argument a positive integer of a relation,then the number of instances in the class described by an entity is greater than or equal to the integer

 statement No TPTP formula. May not be expressible in strict first order. Merge.kif 3219-3223 For all @ROW and another entity length of (@ROW and the other entity)th element of (@ROW and the other entity) is equal to the other entity Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view) Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners