ListFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1962-1963
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2831-2832
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2827-2827	The number 1 argument of list is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2825-2825	List is an instance of function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2826-2826	List is an instance of variable arity relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2829-2829	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 269-269
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34609-34609
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 262-262
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34608-34608
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34607-34607

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 470-474	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 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.	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.	Merge.kif 505-509	If @ROW are all the attributes of another kind of attribute and an entity is a member of (@ROW), then the entity is an instance of another kind of attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 499-503	If @ROW are all the attributes of another kind of attribute and 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.	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 2583-2588	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 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.	Merge.kif 15776-15784	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-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

consequent

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.	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 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.	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 2942-2949	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 464-468	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 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 2844-2849	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 2851-2860	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 575-579	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 4671-4676	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 4678-4683	If the greatest common divisor of @ROW is equal to an integer, then for all another integer if the other integer is a member of (@ROW), then the other integer mod the integer is equal to 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4685-4693	If the greatest common divisor of @ROW is equal to an integer, then there doesn't exist another integer such that the other integer is greater than the integer and for all a third integer if the third integer is a member of (@ROW), then the third integer mod the other integer is equal to 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4744-4749	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 4751-4756	If the least common multiple of @ROW is equal to an integer, then for all another integer if the other integer is a member of (@ROW), then the integer mod the other integer is equal to 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4758-4766	If the least common multiple of @ROW is equal to an integer, then there doesn't exist another integer such that the other integer is less than the integer and for all a third integer if the third integer is a member of (@ROW), then the other integer mod the third integer is equal to 0
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)

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 2931-2934	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 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3198-3199	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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: