ListFn - Sigma Knowledge base Browser

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

KB Term:			Term intersection

English Word: