TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ListFn ChineseLanguage "这是一个可以接受任何数量的参数，然后交出含有跟哪些参数完全相同顺序的 Function。")	chinese_format.kif 1962-1963
(documentation ListFn EnglishLanguage "A Function that takes any number of arguments and returns the List containing those arguments in exactly the same order.")	Merge.kif 2975-2976
(documentation ListFn JapaneseLanguage "任意の数の引数を受け取り、それらの引数を含む List をまったく同じ順序で返す Function。")	japanese_format.kif 594-595
(domain ListFn 1 Entity)	Merge.kif 2971-2971	The number 1 argument of list is an instance of entity
(instance ListFn Function)	Merge.kif 2969-2969	List is an instance of function
(instance ListFn VariableArityRelation)	Merge.kif 2970-2970	List is an instance of variable arity relation
(range ListFn List)	Merge.kif 2973-2973	The range of list is an instance of list

appearance as argument number 2

(format ChineseLanguage ListFn "(%*[,])")	chinese_format.kif 261-261
(format EnglishLanguage ListFn "(%*[,])")	english_format.kif 266-266
(format FrenchLanguage ListFn "(%*[,])")	french_format.kif 149-149
(format ItalianLanguage ListFn "(%*[,]")	relations-it.txt 167-167
(format JapaneseLanguage ListFn "(%*[,])")	japanese_format.kif 1977-1977
(format PortugueseLanguage ListFn "(%*[,])")	portuguese_format.kif 101-101
(format cz ListFn "(%*[,])")	relations-cz.txt 158-158
(format de ListFn "(%*[,])")	relations-de.txt 336-336
(format hi ListFn "(%*[,]")	relations-hindi.txt 206-206
(format ro ListFn "(%*[,])")	relations-ro.kif 168-168
(format sv ListFn "(%*[,])")	relations-sv.txt 155-155
(format tg ListFn "(%*[,]")	relations-tg.txt 333-333
(termFormat ChineseLanguage ListFn "名单")	domainEnglishFormat.kif 34695-34695
(termFormat ChineseLanguage ListFn "表列函数")	chinese_format.kif 262-262
(termFormat ChineseTraditionalLanguage ListFn "名單")	domainEnglishFormat.kif 34694-34694
(termFormat EnglishLanguage ListFn "list")	domainEnglishFormat.kif 34693-34693
(termFormat de ListFn "ListeFn")	terms-de.txt 107-107
(termFormat tg ListFn "tungkulin ng talaan")	relations-tg.txt 334-334

antecedent

(=> (and (contraryAttribute @ROW) (equal ?ATTR1 (ListOrderFn (ListFn @ROW) ?NUMBER1)) (equal ?ATTR2 (ListOrderFn (ListFn @ROW) ?NUMBER2)) (not (equal ?NUMBER1 ?NUMBER2)) (property ?OBJ ?ATTR1)) (not (property ?OBJ ?ATTR2)))	Merge.kif 469-477	If @ROW is the opposite of and equal a real number and another entity element of (@ROW) and equal another real number and a third entity element of (@ROW) and equal a positive integer and another positive integer and a fourth entity the attribute the real number, then the fourth entity does not have the attribute the other real number
(=> (and (contraryAttribute @ROW1) (identicalListItems (ListFn @ROW1) (ListFn @ROW2))) (contraryAttribute @ROW2))	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
(=> (and (defaultMaxValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?N ?VAL) Likely))	Merge.kif 18655-18660	If The defalutMaxValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and equal a real number and the positive integerth element of (@ARGS), then the statement the quantity is greater than the real number has the modal force of likely
(=> (and (defaultMinValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?VAL ?N) Likely))	Merge.kif 18638-18643	If The defaultMinValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and equal a real number and the positive integerth element of (@ARGS), then the statement the real number is greater than the quantity has the modal force of likely
(=> (and (defaultValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (equal ?N ?VAL) Likely))	Merge.kif 18672-18677	If The defaultValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and equal a real number and the positive integerth element of (@ARGS), then the statement equal the quantity and the real number has the modal force of likely
(=> (and (equal ?LIST1 ?LIST2) (equal ?LIST1 (ListFn @ROW1)) (equal ?LIST2 (ListFn @ROW2))) (equal (ListOrderFn (ListFn @ROW1) ?NUMBER) (ListOrderFn (ListFn @ROW2) ?NUMBER)))	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)
(=> (and (exactCardinality ?REL ?ARG 1) (instance ?REL Predicate) (?REL @ARGS) (equal ?X (ListOrderFn (ListFn @ARGS) ?ARG)) (equal ?Y (ListOrderFn (ListFn @ARGS) ?ARG))) (equal ?X ?Y))	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 a real number and the positive integerth element of (@ARGS) and equal another real number and the positive integerth element of (@ARGS), then equal the real number and the other real number
(=> (and (exactCardinality ?REL ?ARG 1) (instance ?REL Predicate) (?REL @ARGS) (equal ?X (ListOrderFn (ListFn @ARGS) ?ARG))) (not (exists (?Y) (and (equal ?Y (ListOrderFn (ListFn @ARGS) ?ARG)) (not (equal ?X ?Y))))))	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 a real number and the positive integerth element of (@ARGS), then there doesn't exist another real number such that equal the other real number and the positive integerth element of (@ARGS) and equal the real number and the other real number
(=> (and (exhaustiveAttribute ?CLASS @ROW) (inList ?ATTR (ListFn @ROW))) (instance ?ATTR ?CLASS))	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
(=> (and (exhaustiveAttribute ?CLASS @ROW) (inList ?ATTR (ListFn @ROW))) (instance ?ATTR Attribute))	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
(=> (and (instance (LatitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 90.0))	Geography.kif 1907-1911	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
(=> (and (instance (LongitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 180.0))	Geography.kif 1947-1954	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
(=> (and (instance ?REL IntentionalRelation) (?REL ?AGENT @ROW) (inList ?OBJ (ListFn @ROW))) (inScopeOfInterest ?AGENT ?OBJ))	Merge.kif 2713-2718	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
(=> (and (orientation ?OBJ1 ?OBJ2 ?ATTR1) (contraryAttribute @ROW) (inList ?ATTR1 (ListFn @ROW)) (inList ?ATTR2 (ListFn @ROW)) (not (equal ?ATTR1 ?ATTR2))) (not (orientation ?OBJ1 ?OBJ2 ?ATTR2)))	Merge.kif 17118-17126	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
(=> (and (processList @ROW) (inList ?Process1 (ListFn @ROW)) (inList ?Process2 (ListFn @ROW)) (equal (ListOrderFn (ListFn @ROW) ?Number1) ?Process1) (equal (ListOrderFn (ListFn @ROW) ?Number2) ?Process2) (lessThan ?Number1 ?Number2)) (earlier (WhenFn ?Process1) (WhenFn ?Process2)))	QoSontology.kif 803-819	If the list of processes @ROW and a real number is a member of (@ROW) and another real number is a member of (@ROW) and equal another entity element of (@ROW) and the real number and equal a third entity element of (@ROW) and the other real number and a positive integer is less than another positive integer, then the time of existence of the real number happens earlier than the time of existence of the other real number

consequent

(=> (and (domain ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (instance (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 3036-3041	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
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 3043-3048	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
(=> (and (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (not (equal ?NUMBER 0))) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?ELEMENT ?NUMBER) 0))))	Merge.kif 4914-4925	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
(=> (and (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (not (equal ?NUMBER 0))) (not (exists (?GREATER) (and (greaterThan ?GREATER ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?ELEMENT ?GREATER) 0)))))))	Merge.kif 4927-4941	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
(=> (and (equal (LeastCommonMultipleFn @ROW) ?NUMBER) (not (equal ?NUMBER 0))) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?NUMBER ?ELEMENT) 0))))	Merge.kif 4999-5009	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
(=> (and (equal (LeastCommonMultipleFn @ROW) ?NUMBER) (not (equal ?NUMBER 0))) (not (exists (?LESS) (and (lessThan ?LESS ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?LESS ?ELEMENT) 0)))))))	Merge.kif 5011-5025	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
(=> (and (equal ?LIST1 ?LIST2) (equal ?LIST1 (ListFn @ROW1)) (equal ?LIST2 (ListFn @ROW2))) (equal (ListOrderFn (ListFn @ROW1) ?NUMBER) (ListOrderFn (ListFn @ROW2) ?NUMBER)))	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)
(=> (and (equal ?MEAN (ThreeMonthsRunningMeanSSTFn ?W ?M ?Y)) (equal ?T (MeanMonthSSTFn ?W ?M ?Y)) (previousMonthYear ?M1 ?Y1 ?M ?Y) (equal ?T1 (MeanMonthSSTFn ?W ?M1 ?Y1)) (previousMonthYear ?M2 ?Y2 ?M1 ?Y1) (equal ?T2 (MeanMonthSSTFn ?W ?M2 ?Y2))) (exists (?N ?U) (and (equal ?N (AverageFn (PhysicalQuantityToNumberFn (ListFn ?T2 ?T1 ?T)))) (instance ?U UnitOfTemperature) (equal ?MEAN (MeasureFn ?N ?U)))))	Weather.kif 805-823	If equal a temperature measure and ThreeMonthsRunningMeanSSTFn for month a kind of month year a year in region a water area and equal another temperature measure and MeanMonthSSTFn for a kind of month in region the water area and the previous month of the kind of month in year the year is the kind of month1 the year1 and equal the other temperature measure1 and MeanMonthSSTFn for the kind of month1 in region the water area and the previous month of the kind of month1 in year the year1 is the kind of month2 the year2 and equal the other temperature measure2 and MeanMonthSSTFn for the kind of month2 in region the water area, then there exist a real number and an unit of measure such that equal the real number and the average of the numbers in PhysicalQuantityToNumberFn returns the numberic values of a list of (the other temperature measure2, the other temperature measure1, and the other temperature measure) and the unit of measure is an instance of unit of temperature and equal the temperature measure and the real number the unit of measure(s)
(=> (and (equal ?R (SubListFn ?S ?E ?L)) (equal (SubtractionFn ?E ?S) 1)) (equal ?R (ListFn (ListOrderFn ?L ?S))))	Merge.kif 3217-3226	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)
(=> (and (equal ?R (SubListFn ?S ?E ?L)) (greaterThan (SubtractionFn ?E ?S) 1)) (equal ?R (ListConcatenateFn (ListFn (ListOrderFn ?L ?S)) (SubListFn (AdditionFn 1 ?S) ?E ?L))))	Merge.kif 3228-3240	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
(=> (and (exactCardinality ?REL ?ARG 1) (instance ?REL Predicate) (?REL @ARGS) (equal ?X (ListOrderFn (ListFn @ARGS) ?ARG))) (not (exists (?Y) (and (equal ?Y (ListOrderFn (ListFn @ARGS) ?ARG)) (not (equal ?X ?Y))))))	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 a real number and the positive integerth element of (@ARGS), then there doesn't exist another real number such that equal the other real number and the positive integerth element of (@ARGS) and equal the real number and the other real number
(=> (and (exactCardinality ?REL ?ARG 1) (instance ?REL Predicate)) (exists (?X @ARGS) (and (?REL @ARGS) (equal ?X (ListOrderFn (ListFn @ARGS) ?ARG)) (not (exists (?Y) (and (equal ?Y (ListOrderFn (ListFn @ARGS) ?ARG)) (not (equal ?X ?Y))))))))	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 a real number and @ARGS such that the relation @ARGS and equal the real number and the positive integerth element of (@ARGS) and there doesn't exist another real number such that equal the other real number and the positive integerth element of (@ARGS) and equal the real number and the other real number
(=> (and (exactCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S ?EL @ARGS) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (equal (CardinalityFn ?S) ?COUNT))))))	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, a real number and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the real number and the positive integerth element of (@ARGS), then the real number is an instance of the class and equal the number of instances in the class and the integer
(=> (and (maxCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S ?EL @ARGS) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (lessThanOrEqualTo (CardinalityFn ?S) ?COUNT))))))	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, a real number and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the real number and the positive integerth element of (@ARGS), then the real number is an instance of the class and the number of instances in the class is less than or equal to the integer
(=> (and (minCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S ?EL @ARGS) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (greaterThanOrEqualTo (CardinalityFn ?S) ?COUNT))))))	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, a real number and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the real number and the positive integerth element of (@ARGS), then the real number is an instance of the class and the number of instances in the class is greater than or equal to the integer
(=> (and (valence ?REL ?NUMBER) (instance ?REL Predicate)) (forall (@ROW) (=> (?REL @ROW) (equal (ListLengthFn (ListFn @ROW)) ?NUMBER))))	Merge.kif 3086-3093	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
(=> (contraryAttribute @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Attribute)))	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
(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM) (=> (inList ?ITEM (ListFn @ROW)) (subclass ?ITEM ?CLASS))))	Merge.kif 2988-2993	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
(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM1 ?ITEM2) (=> (and (inList ?ITEM1 (ListFn @ROW)) (inList ?ITEM2 (ListFn @ROW)) (not (equal ?ITEM1 ?ITEM2))) (disjoint ?ITEM1 ?ITEM2))))	Merge.kif 2995-3004	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
(=> (disjointDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class)))	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
(=> (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Number)))	Merge.kif 4907-4912	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
(=> (equal (LeastCommonMultipleFn @ROW) ?NUMBER) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Number)))	Merge.kif 4992-4997	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
(=> (exactCardinality ?REL ?ARG ?COUNT) (exists (?EL @ARGS) (equal (CardinalityFn (KappaFn ?EL (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))))) ?COUNT)))	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
(=> (exhaustiveAttribute ?ATTRCLASS @ROW) (not (exists (?EL) (and (instance ?EL ?ATTRCLASS) (not (exists (?ATTR ?NUMBER) (and (equal ?EL ?ATTR) (equal ?ATTR (ListOrderFn (ListFn @ROW) ?NUMBER)))))))))	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 a real number and a positive integer such that equal the entity and the real number and equal the real number and the positive integerth element of (@ROW)
(=> (exhaustiveAttribute ?CLASS @ROW) (forall (?ATTR1) (=> (instance ?ATTR1 ?CLASS) (exists (?ATTR2) (and (inList ?ATTR2 (ListFn @ROW)) (equal ?ATTR1 ?ATTR2))))))	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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(forall (@ROW ?ITEM) (equal (ListLengthFn (ListFn @ROW ?ITEM)) (SuccessorFn (ListLengthFn (ListFn @ROW)))))	Merge.kif 3075-3078	For all @ROW and another entity equal length of (@ROW and the other entity) and (length of (@ROW)+1)
(forall (@ROW ?ITEM) (equal (ListOrderFn (ListFn @ROW ?ITEM) (ListLengthFn (ListFn @ROW ?ITEM))) ?ITEM))	Merge.kif 3080-3084	For all @ROW and a real number equal length of (@ROW and the real number)th element of (@ROW and the real number) and the real number
(forall (@ROW ?ITEM) (initialList (ListFn @ROW) (ListFn @ROW ?ITEM)))	Merge.kif 3355-3356	For all @ROW and another entity (@ROW) starts (@ROW and the other entity)

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

KB Term:			Term intersection

English Word: