ListOrderFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1964-1966
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2875-2878
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2871-2871	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 2872-2872	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 2869-2869	List order is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2870-2870	List order is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2873-2873	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 271-271
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 264-264
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34621-34621
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34620-34620
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34619-34619

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17110-17115	If The defalutMaxValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the statement the quantity is greater than the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17094-17099	If The defaultMinValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the statement the other entity is greater than the quantity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17127-17132	If The defaultValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the statement the quantity is equal to the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3135-3139	If a number is equal to the sum of a list and an entity is equal to another entity element of the list, then the entity is an instance of number
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-474	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 17077-17082	If The maxValue of a predicate with a positive integer arguments is a quantity. and the predicate @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 17060-17065	If The minValue of a predicate with a positive integer arguments is a quantity. and the predicate @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-708	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 987-1005	If %2 is the list of items viewed by 1 and a process is an instance of AccessingWebPage and another process is an instance of AccessingWebPage and an agent is an agent of the process and the agent is an agent of the other process 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 process and the other positive integerth element of the list is equal to the other process and the positive integer is greater than the other positive integer, then the time of existence of the other process happens earlier than the time of existence of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2977-2993	A list is equal to the list composed of another list and a third list and the other list is not equal to null list and the third list is not equal to null list if and only if for all a positive integer and another positive integer if the positive integer is less than or equal to length of the other list and the other positive integer is less than or equal to length of the third list and the positive integer is an instance of positive integer and the other positive integer is an instance of positive integer, then the positive integerth element of the list is equal to the positive integerth element of the other list and (length of the other list and the other positive integer)th element of the list is equal to the other positive integerth element of the third list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2116-2133	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 number, the numberMINUSONE,, , another positive integer and a third positive integer such that the number is greater than 1 and the number is less than or equal to length of the other list and the positive integerth element of the other list is equal to the number and the other positive integer is a member of the list and the number 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 numberMINUSONE is equal to (the number and 1) and the numberMINUSONE 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.	Merge.kif 3105-3110	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 2892-2897	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 2899-2904	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.	Merge.kif 3141-3145	If a number is equal to the sum of a list and 1 is equal to length of the list, then the number is equal to 1th element of the list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3072-3081	If a list is equal to the sub-list from a positive integer to an integer of another list and (the integer and the positive integer) is equal to 1, then the list is equal to (the positive integerth element of the other list)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3083-3095	If a list is equal to the sub-list from a positive integer to an integer of another list and (the integer and the positive integer) is greater than 1, then the list is equal to the list composed of (the positive integerth element of the other list) and the sub-list from (1 and the positive integer) to the integer of the other list
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1092-1103
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1060-1072
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.	Merge.kif 3120-3125	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 2595-2611	If a process is an instance of search engine optimization and an entity is a patient of the process, then the process purpose there exist another entity_BEFORE, the other entity_AFTER,, , a third entity and a fourth entity such that the other entity_BEFORE is an instance of search results and the other entity_AFTER is an instance of search results and the entity is equal to a fifth entity element of the other entity_BEFORE and the entity is equal to a sixth entity element of the other entity_AFTER and the third entity is an instance of best match sort and the fourth entity is an instance of best match sort and the time of existence of the third entity happens earlier than the time of existence of the fourth entity and the time of existence of the process happens earlier than the time of existence of the fourth entity and the time of existence of the third entity happens earlier than the time of existence of the process and a seventh entity is greater than a eighth entity
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 476-486	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 the attribute the attribute, then the fourth entity does not have the attribute the other attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 294-301	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 another integer of a relation, then the number of instances in the class described by a symbolic string is equal to the integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 521-533	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 535-545	If @ROW are all the attributes of another kind of attribute, then if an entity is equal to another entity element of (@ROW), then there don't exist a third entity and a fourth entity such that the entity is equal to the third entity and a positive integer is not equal to the fourth entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3006-3009	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 2804-2809	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

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 2936-2940

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: