  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 - ListFn
 ListFn

 appearance as argument number 1 No TPTP formula. May not be expressible in strict first order. Merge.kif 3110-3111 No TPTP formula. May not be expressible in strict first order. Merge.kif 3108-3109 No TPTP formula. May not be expressible in strict first order. Merge.kif 3105-3105 The number 1 argument of list is an instance of entity No TPTP formula. May not be expressible in strict first order. Merge.kif 3103-3103 List is an instance of function No TPTP formula. May not be expressible in strict first order. Merge.kif 3104-3104 List is an instance of variable arity relation No TPTP formula. May not be expressible in strict first order. Merge.kif 3107-3107 The range of list is an instance of list

 appearance as argument number 2 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 261-261 No TPTP formula. May not be expressible in strict first order. english_format.kif 159-159 No TPTP formula. May not be expressible in strict first order. french_format.kif 149-149 No TPTP formula. May not be expressible in strict first order. relations-it.txt 167-167 No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 101-101 No TPTP formula. May not be expressible in strict first order. arabic_format.kif 97-97 No TPTP formula. May not be expressible in strict first order. relations-cz.txt 158-158 No TPTP formula. May not be expressible in strict first order. relations-de.txt 336-336 No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 206-206 No TPTP formula. May not be expressible in strict first order. relations-tg.txt 333-333 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 262-262 "表列函数" is the printable form of list in ChineseLanguage No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6199-6199 "list" is the printable form of list in english language No TPTP formula. May not be expressible in strict first order. arabic_format.kif 547-547 "«قائمة»" is the printable form of list in ar No TPTP formula. May not be expressible in strict first order. relations-tg.txt 334-334 "tungkulin ng talaan" is the printable form of list in tg

 antecedent No TPTP formula. May not be expressible in strict first order. Merge.kif 520-524 If @ROW1 is the opposite of and (@ROW2) is an identical list items of (@ROW1),then @ROW2 is the opposite of 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 2836-2841 If an entity is an instance of intentional relation and the entity a cognitive agent and @ROW and a third entity is a member of (@ROW),then the cognitive agent is interested in the third entity 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. Merge.kif 17099-17107 If an object is a positional attribute to another object and @ROW is the opposite of and the positional attribute is a member of (@ROW) and another positional attribute is a member of (@ROW) and the positional attribute is not equal to the other positional attribute,then the object is not the other positional attribute to the other object 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

 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. 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. 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 3225-3232 If a relation %&has a positive integer argument(s) and the relation is an instance of predicate,then for all @ROW if the relation @ROW,then length of (@ROW) is equal to the positive integer No TPTP formula. May not be expressible in strict first order. Merge.kif 514-518 If @ROW is the opposite of ,then if another entity is a member of (@ROW),then the other entity is an instance of attribute 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 3123-3128 If a class is disjointly decomposed into @ROW,then for all a set or class if the set or class is a member of (@ROW),then the set or class is a subclass of the class No TPTP formula. May not be expressible in strict first order. Merge.kif 3130-3139 If a class is disjointly decomposed into @ROW,then for all a set or class and another set or class if the set or class is a member of (@ROW) and the other set or class is a member of (@ROW) and the set or class is not equal to the other set or class,then the set or class is disjoint from the other set or class No TPTP formula. May not be expressible in strict first order. Merge.kif 614-618 If @ROW is disjointly decomposed into @ROW,then if another entity is a member of (@ROW),then the other entity is an instance of class No TPTP formula. May not be expressible in strict first order. Merge.kif 4983-4988 If the greatest common divisor of @ROW is equal to an integer,then if another entity is a member of (@ROW),then the other entity is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 4990-4995 If the greatest common divisor of @ROW is equal to an integer,then for all a quantity if the quantity is a member of (@ROW),then the quantity mod the integer is equal to 0 No TPTP formula. May not be expressible in strict first order. Merge.kif 4997-5005 If the greatest common divisor of @ROW is equal to an integer,then there doesn't exist a quantity such that the quantity is greater than the integer and for all another quantity if the other quantity is a member of (@ROW),then the other quantity mod the quantity is equal to 0 No TPTP formula. May not be expressible in strict first order. Merge.kif 5062-5067 If the least common multiple of @ROW is equal to an integer,then if another entity is a member of (@ROW),then the other entity is an instance of number No TPTP formula. May not be expressible in strict first order. Merge.kif 5069-5074 If the least common multiple of @ROW is equal to an integer,then for all a quantity if the quantity is a member of (@ROW),then the integer mod the quantity is equal to 0 No TPTP formula. May not be expressible in strict first order. Merge.kif 5076-5084 If the least common multiple of @ROW is equal to an integer,then there doesn't exist a quantity such that the quantity is less than the integer and for all another quantity if the other quantity is a member of (@ROW),then the quantity mod the other quantity is equal to 0 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 552-556 If @ROW are all the attributes of another kind of attribute,then if an entity is a member of (@ROW),then the entity is an instance of attribute No TPTP formula. May not be expressible in strict first order. Merge.kif 558-566 If @ROW are all the attributes of another kind of attribute,then for all an entity if the entity is an instance of another kind of attribute,then there exists another entity such that the other entity is a member of (@ROW) and the entity is equal to the other entity Display limited to 25 items. Show next 25 Display limited to 25 items. Show next 25

 statement No TPTP formula. May not be expressible in strict first order. Merge.kif 3214-3217 For all @ROW and another entity length of (@ROW and the other entity) is equal to (length of (@ROW)+1) 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 No TPTP formula. May not be expressible in strict first order. Merge.kif 3372-3373 For all @ROW and another entity (@ROW) starts (@ROW and 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