TreeView 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 2994-2997
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 596-598
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2990-2990	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 2991-2991	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 2988-2988	List order is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2989-2989	List order is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2992-2992	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 268-268
No TPTP formula. May not be expressible in strict first order.	french_format.kif 150-150
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 169-169
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1978-1978
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 102-102
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 159-159
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 338-338
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 207-207
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 169-169
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 156-156
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 337-337
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 34708-34708
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34707-34707
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34706-34706
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 108-108
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 338-338

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 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 3232-3236	If equal length of a list and a positive integer and equal the positive integerth element of the list and another entity, then equal the last of the list and the other entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2562-2569	If equal a number list and PhysicalQuantityToNumberFn returns the numberic values of a list of a measuring result list and equal a physical quantity and an entity element of the measuring result list and equal a real number and the entity element of the number list, then equal the real number an unit of measure(s) and the physical quantity
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.	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.	Weather.kif 2659-2668	If a list is an instance of consecutive time interval list and equal a time interval and an entity element of the list and equal another time interval and (a positive integer and 1)th element of the list, then equal the beginning of the other time interval and the end of the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2530-2535	If a measuring result list is the result of a measuring list and equal a process and an entity element of the measuring list and equal another entity and the entity element of the measuring result list, then the other entity is a result of the process
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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 799-817	If a list is the list of items viewed by an agent and a process is an instance of accessing web page and another process is an instance of accessing web page and the 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 equal the positive integerth element of the list and the process and equal the other positive integerth element of the list and 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.	People.kif 272-293	A real number is an average of a list if and only if there exist another list and a positive integer such that equal length of the other list and length of the list and equal 1th element of the other list and 1th element of the list and for all another positive integer if the other positive integer is a member of the other list, then there exist another real number, the other real numberMINUSONE,, , a third positive integer and a fourth positive integer such that the other real number is greater than 1 and the other real number is less than or equal to length of the other list and equal the other positive integerth element of the other list and the other real number and the third positive integer is a member of the list and equal the other real number and the third positive integerth element of the list and the fourth positive integer is a member of the other list and equal the other real numberMINUSONE and (the other real number and 1) and equal the other real numberMINUSONE and the fourth positive integerth element of the other list and equal the other positive integer and (the third positive integer and the fourth positive integer) and equal the positive integer and length of the other list and equal the real number and the positive integerth element of the other list and the positive integer
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 3265-3269	If equal a real number and the sum of a list and equal 1 and length of the list, then equal the real number and 1th element of the list
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 3096-3115	If equal a list and the list composed of another list and a third list and equal the other list and null list and equal the third list and null list and a positive integer is less than or equal to length of the other list and another 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 equal the positive integerth element of the list and the positive integerth element of the other list and equal (length of the other list and the other positive integer)th element of the list and the other positive integerth element of the third list
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.	Weather.kif 2211-2222	If equal a real number and VarianceAverageFn of a list with the mean of another real number and equal 1 and length of the list, then equal the real number and (the other real number and 1th element of the list) and (the other real number and 1th element of the list)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2178-2190	If equal a real number and VarianceAverageFn of a list with the mean of a number and length of the list is greater than 1, then equal the real number and (VarianceAverageFn of 1th element of the list with the mean of the number and VarianceAverageFn of the sub-list from 2 to length of the list of the list with the mean of the number)
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.	Merge.kif 3245-3250	If a list is an instance of list and equal the list and null list, then equal the first of the list and 1th element of the list
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2388-2404	If a process is an instance of search engine optimization and an entity is a patient of the process, then the process has the purpose there exist another entity_BEFORE, the other entity_AFTER,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth 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 equal the entity and the third entityth element of the other entity_BEFORE and equal the entity and the fourth entityth element of the other entity_AFTER and the fifth entity is an instance of best match sort and the sixth entity is an instance of best match sort and the time of existence of the fifth entity happens earlier than the time of existence of the sixth entity and the time of existence of the process happens earlier than the time of existence of the sixth entity and the time of existence of the fifth entity happens earlier than the time of existence of the process and the third entity is greater than the fourth entity
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 3225-3230	If equal the last of a list and an entity, then there exists a positive integer such that equal length of the list and the positive integer and equal the positive integerth element of the list and the entity
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 3126-3129	If an entity is a member of a list, then there exists a positive integer such that equal the positive integerth element of the list and the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2923-2928	If a list is an instance of unique list, then for all a positive integer and another positive integer if equal the positive integerth element of the list and the other positive integerth element of the list, then equal the positive integer and the other positive integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2200-2209	If there can be at most an integer values to argument another integer of a relation, then there exist a symbolic string and @ARGS such that the number of instances in the class described by the symbolic string is less than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2163-2172	If there are at least an integer values to argument another integer of a relation, then there exist a symbolic string and @ARGS such that the number of instances in the class described by the symbolic string is greater than or equal to the integer

statement

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: