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 2950-2951
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 594-595
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2946-2946	The number 1 argument of list is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2944-2944	List is an instance of function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2945-2945	List is an instance of variable arity relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2948-2948	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 266-266
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.	japanese_format.kif 1977-1977
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.	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-ro.kif 168-168
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 155-155
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.	domainEnglishFormat.kif 34696-34696
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 34695-34695
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34694-34694
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 107-107
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 334-334

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 469-477	If @ROW is the opposite of and equal an attribute and another entity element of (@ROW) and equal another attribute and a third entity element of (@ROW) and equal a positive integer and another positive integer and 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 463-467	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 18633-18638	If The defalutMaxValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and equal another entity and 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 18616-18621	If The defaultMinValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and equal another entity and 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 18650-18655	If The defaultValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and equal another entity and the positive integerth element of (@ARGS), then the statement equal the quantity and the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 289-296	If equal a list and another list and equal the list and (@ROW1) and equal the other list and (@ROW2), then equal a third entity element of (@ROW1) and the third entity element of (@ROW2)
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 equal another entity and the positive integerth element of (@ARGS) and equal a fourth entity and the positive integerth element of (@ARGS), then equal the other entity and 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 equal another entity and the positive integerth element of (@ARGS), then there doesn't exist a fourth entity such that equal the fourth entity and the positive integerth element of (@ARGS) and equal the other entity and the fourth entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 496-500	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 490-494	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 597-601	If the region a directional attribute of @ROW is an instance of region and equal 1th element of (@ROW) and a real number angular degree(s), then the real number is less than or equal to 90.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 637-644	If the meridian at @ROW a directional attribute is an instance of region and equal 1th element of (@ROW) and a real number angular degree(s), then the real number is less than or equal to 180.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2688-2693	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 17096-17104	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 equal the positional attribute and 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 803-819	If the list of processes @ROW and a physical is a member of (@ROW) and another physical is a member of (@ROW) and equal another entity element of (@ROW) and the physical and equal a third entity element of (@ROW) and 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 3011-3016	If the number a positive integer argument of a relation is an instance of a 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 class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3018-3023	If the number a positive integer argument of a relation is a subclass of a 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 class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4889-4900	If equal the greatest common divisor of @ROW and an integer and equal the integer and 0, then for all another integer if the other integer is a member of (@ROW), then equal the other integer mod the integer and 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4902-4916	If equal the greatest common divisor of @ROW and an integer and equal the integer and 0, 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 equal the third integer mod the other integer and 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4974-4984	If equal the least common multiple of @ROW and an integer and equal the integer and 0, then for all another integer if the other integer is a member of (@ROW), then equal the integer mod the other integer and 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4986-5000	If equal the least common multiple of @ROW and an integer and equal the integer and 0, 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 equal the other integer mod the third integer and 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 289-296	If equal a list and another list and equal the list and (@ROW1) and equal the other list and (@ROW2), then equal a third entity element of (@ROW1) and the third entity element of (@ROW2)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3192-3201	If equal a list and the sub-list from a positive integer to an integer of another list and equal (the integer and the positive integer) and 1, then equal the list and (the positive integerth element of the other list)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3203-3215	If equal a list and 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 equal the list and 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 equal another entity and the positive integerth element of (@ARGS), then there doesn't exist a fourth entity such that equal the fourth entity and the positive integerth element of (@ARGS) and equal the other entity and 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 equal the entity and the positive integerth element of (@ARGS) and there doesn't exist a fourth entity such that equal the fourth entity and the positive integerth element of (@ARGS) and equal the entity and the fourth entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2139-2152	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 exist a class, an entity and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the entity and the positive integerth element of (@ARGS), then the entity is an instance of the class and equal the number of instances in the class and the integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2212-2225	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 exist a class, an entity and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the entity and the positive integerth element of (@ARGS), then the entity is an instance of the class and the number of instances in the class is less than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2176-2189	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 exist a class, an entity and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the entity and the positive integerth element of (@ARGS), then the entity is an instance of the class and the number of instances in the class is greater than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3061-3068	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 equal length of (@ROW) and the positive integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 457-461	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 2963-2968	If a class is disjointly decomposed into @ROW, then for all a third class if the third class is a member of (@ROW), then the third class is a subclass of the class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2970-2979	If a class is disjointly decomposed into @ROW, then for all a third class and a fourth class if the third class is a member of (@ROW) and the fourth class is a member of (@ROW) and equal the third class and the fourth class, then the third class is disjoint from the fourth class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 567-571	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 4882-4887	If equal the greatest common divisor of @ROW and 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 4967-4972	If equal the least common multiple of @ROW and 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.	Media.kif 2127-2136	If there can be an integer values to argument another integer of a relation, then there exist a symbolic string and @ARGS such that equal the number of instances in the class described by the symbolic string and the integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 512-524	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 equal the entity and the other entity and equal the other entity and the positive integerth element of (@ROW)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 502-510	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 equal the entity and the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2953-2961	If a class is covered by @ROW, then for all an entity if the entity is an instance of the class, then there exists a third class such that the third class is a member of (@ROW) and the entity is an instance of the third class

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 3050-3053	For all @ROW and another entity equal length of (@ROW and the other entity) and (length of (@ROW)+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3055-3059	For all @ROW and another entity equal length of (@ROW and the other entity)th element of (@ROW and the other entity) and the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3330-3331	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: