Knowledge base Browser

appearance as argument number 1

(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 2385-2386
(instance ListFn Function)	Merge.kif 2381-2381	List is an instance of function
(instance ListFn VariableArityRelation)	Merge.kif 2382-2382	List is an instance of variable arity relation
(range ListFn List)	Merge.kif 2384-2384	The range of list is an instance of list

appearance as argument number 2

(format EnglishLanguage ListFn "(%*[,])")	english_format.kif 147-147
(termFormat EnglishLanguage ListFn "list")	domainEnglishFormat.kif 5576-5576	term format english language, list and "list"

antecedent

(=> (and (contraryAttribute @ROW1) (identicalListItems (ListFn @ROW1) (ListFn @ROW2))) (contraryAttribute @ROW2))	Merge.kif 441-445	If @ROW1 is opposed to and (@ROW2) is an identical list items of (@ROW1) then @ROW2 is opposed to
(=> (and (exactCardinality ?REL ?ARG 1) (?REL @ARGS) (equal ?X (ListOrderFn (ListFn @ARGS) ?ARG)) (equal ?Y (ListOrderFn (ListFn @ARGS) ?ARG))) (equal ?X ?Y))	Media.kif 1854-1860	If exactCardinality a relation, a positive integer and 1 and relation @ARGS and entity is equal to positive integerth element of (@ARGS) and a entity is equal to positive integerth element of (@ARGS) then entity is equal to entity
(=> (and (exactCardinality ?REL ?ARG 1) (?REL @ARGS) (equal ?X (ListOrderFn (ListFn @ARGS) ?ARG))) (not (exists (?Y) (and (equal ?Y (ListOrderFn (ListFn @ARGS) ?ARG)) (not (equal ?X ?Y))))))	Media.kif 1842-1851	If exactCardinality a relation, a positive integer and 1 and relation @ARGS and entity is equal to positive integerth element of (@ARGS) then there doesn't exist a entity so that entity is equal to positive integerth element of (@ARGS) and entity is not equal to entity
(=> (and (instance (LatitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 90))	Geography.kif 427-431	If latitude a directional attribute and @ROW is an instance of region and 1th element of (@ROW) is equal to a real number angular degree(s) then real number is less than or equal to 90
(=> (and (instance (LongitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 180))	Geography.kif 467-471	If longitude a directional attribute and @ROW is an instance of region and 1th element of (@ROW) is equal to a real number angular degree(s) then real number is less than or equal to 180
(=> (and (instance ?REL IntentionalRelation) (?REL ?AGENT @ROW) (inList ?OBJ (ListFn @ROW))) (inScopeOfInterest ?AGENT ?OBJ))	Merge.kif 2169-2174	If an entity is an instance of intentional relation and entity a cognitive agent and @ROW and a entity is a member of (@ROW) then cognitive agent is interested in 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 13816-13824	If an object is a positional attribute to object and @ROW is opposed to and positional attribute is a member of (@ROW) and positional attribute is a member of (@ROW) and positional attribute is not equal to positional attribute then object is not positional attribute to 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 597-605	If process list @ROW and a physical is a member of (@ROW) and physical is a member of (@ROW) and a positive integerth element of (@ROW) is equal to physical and positive integerth element of (@ROW) is equal to physical and positive integer is less than positive integer then the time of existence of physical happens earlier than the time of existence of physical

consequent

(<=> (instance ?REL TotalValuedRelation) (exists (?VALENCE) (and (instance ?REL Relation) (valence ?REL ?VALENCE) (=> (forall (?NUMBER ?ELEMENT ?CLASS) (=> (and (lessThan ?NUMBER ?VALENCE) (domain ?REL ?NUMBER ?CLASS) (equal ?ELEMENT (ListOrderFn (ListFn @ROW) ?NUMBER))) (instance ?ELEMENT ?CLASS))) (exists (?ITEM) (?REL @ROW ?ITEM))))))	Merge.kif 1776-1791	A relation is an instance of total valued relation if and only if there exists a positive integer so that relation is an instance of relation and relation %&has positive integer argument(s) and if for all positive integer an entity and and a set or class if positive integer is less than positive integer and the number positive integer argument of relation is an instance of set or class and entity is equal to positive integerth element of (@ROW) then entity is an instance of set or class then there exists a entity so that relation @ROW and entity
(=> (and (domain ?REL ?NUMBER ?CLASS) (?REL @ROW)) (instance (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 2434-2438	If the number a positive integer argument of a relation is an instance of a set or class and relation @ROW then positive integerth element of (@ROW) is an instance of set or class
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 2440-2444	If the number a positive integer argument of a relation is a subclass of a set or class and relation @ROW then positive integerth element of (@ROW) is a subclass of set or class
(=> (and (exactCardinality ?REL ?ARG 1) (?REL @ARGS) (equal ?X (ListOrderFn (ListFn @ARGS) ?ARG))) (not (exists (?Y) (and (equal ?Y (ListOrderFn (ListFn @ARGS) ?ARG)) (not (equal ?X ?Y))))))	Media.kif 1842-1851	If exactCardinality a relation, a positive integer and 1 and relation @ARGS and entity is equal to positive integerth element of (@ARGS) then there doesn't exist a entity so that entity is equal to positive integerth element of (@ARGS) and entity is not equal to entity
(=> (contraryAttribute @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Attribute)))	Merge.kif 435-439	If @ROW is opposed to then if entity is a member of (@ROW) then entity is an instance of attribute
(=> (contraryAttribute @ROW) (forall (?ATTR1 ?ATTR2) (=> (and (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 447-457	If @ROW is opposed to then for all an attribute and attribute if attribute is equal to a positive integerth element of (@ROW) and attribute is equal to positive integerth element of (@ROW) and positive integer is not equal to positive integer then if entity has an attribute attribute then entity has not an attribute attribute
(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM) (=> (inList ?ITEM (ListFn @ROW)) (subclass ?ITEM ?CLASS))))	Merge.kif 2398-2403	If a class is disjointly decomposed into @ROW then for all a set or class if set or class is a member of (@ROW) then set or class is a subclass of 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 2405-2414	If a class is disjointly decomposed into @ROW then for all a set or class and set or class if set or class is a member of (@ROW) and set or class is a member of (@ROW) and set or class is not equal to set or class then set or class is disjoint from set or class
(=> (disjointDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class)))	Merge.kif 522-526	If @ROW is disjointly decomposed into @ROW then if an entity is a member of (@ROW) then entity is an instance of class
(=> (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?ELEMENT ?NUMBER) 0))))	Merge.kif 3824-3829	If the greatest common divisor of @ROW is equal to an integer then for all a quantity if quantity is a member of (@ROW) then quantity mod integer is equal to 0
(=> (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (not (exists (?GREATER) (and (greaterThan ?GREATER ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?ELEMENT ?GREATER) 0)))))))	Merge.kif 3831-3839	If the greatest common divisor of @ROW is equal to an integer then there doesn't exist a quantity so that quantity is greater than integer and for all quantity if quantity is a member of (@ROW) then quantity mod quantity is equal to 0
(=> (equal (LeastCommonMultipleFn @ROW) ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?NUMBER ?ELEMENT) 0))))	Merge.kif 3885-3890	If the least common multiple of @ROW is equal to an integer then for all a quantity if quantity is a member of (@ROW) then integer mod quantity is equal to 0
(=> (equal (LeastCommonMultipleFn @ROW) ?NUMBER) (not (exists (?LESS) (and (lessThan ?LESS ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?LESS ?ELEMENT) 0)))))))	Merge.kif 3892-3900	If the least common multiple of @ROW is equal to an integer then there doesn't exist a quantity so that quantity is less than integer and for all quantity if quantity is a member of (@ROW) then quantity mod quantity is equal to 0
(=> (equal ?LIST1 ?LIST2) (=> (and (equal ?LIST1 (ListFn @ROW1)) (equal ?LIST2 (ListFn @ROW2))) (forall (?NUMBER) (equal (ListOrderFn (ListFn @ROW1) ?NUMBER) (ListOrderFn (ListFn @ROW2) ?NUMBER)))))	Merge.kif 282-289	If a list is equal to list then if list is equal to (@ROW1) and list is equal to (@ROW2) then for all a positive integer positive integerth element of (@ROW1) is equal to positive integerth element of (@ROW2)
(=> (exactCardinality ?REL ?ARG 1) (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 1826-1839	If exactCardinality a relation, a positive integer and 1 then there exist an entity and @ARGS so that relation @ARGS and entity is equal to positive integerth element of (@ARGS) and there doesn't exist a entity so that entity is equal to positive integerth element of (@ARGS) and entity is not equal to entity
(=> (exactCardinality ?REL ?ARG ?COUNT) (equal (CardinalityFn (KappaFn ?EL (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))))) ?COUNT))	Media.kif 1868-1876	If exactCardinality a relation, a positive integer and an integer then the number of instances in the class described by ?EL is equal to integer
(=> (exactCardinality ?REL ?ARG ?COUNT) (exists (?S) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (equal (CardinalityFn ?S) ?COUNT))))))	Media.kif 1879-1890	If exactCardinality a relation, a positive integer and an integer then there exists a set or class so that set or class is an instance of set or class and if relation @ARGS and entity is equal to positive integerth element of (@ARGS) then entity is an instance of set or class and the number of instances in set or class is equal to 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 484-496	If exhaustive attribute a attribute and @ROW then there doesn't exist an entity so that entity is an instance of a attribute and there don't exist entity and a positive integer so that entity is equal to entity and entity is equal to positive integerth element of (@ROW)
(=> (exhaustiveAttribute ?CLASS @ROW) (=> (inList ?ATTR (ListFn @ROW)) (instance ?ATTR Attribute)))	Merge.kif 468-472	If exhaustive attribute a attribute and @ROW then if an entity is a member of (@ROW) then entity is an instance of attribute
(=> (exhaustiveAttribute ?CLASS @ROW) (forall (?ATTR1) (=> (instance ?ATTR1 ?CLASS) (exists (?ATTR2) (and (inList ?ATTR2 (ListFn @ROW)) (equal ?ATTR1 ?ATTR2))))))	Merge.kif 474-482	If exhaustive attribute a attribute and @ROW then for all an entity if entity is an instance of a attribute then there exists entity so that entity is a member of (@ROW) and entity is equal to entity
(=> (exhaustiveDecomposition ?CLASS @ROW) (forall (?OBJ) (=> (instance ?OBJ ?CLASS) (exists (?ITEM) (and (inList ?ITEM (ListFn @ROW)) (instance ?OBJ ?ITEM))))))	Merge.kif 2388-2396	If a class is covered by @ROW then for all an entity if entity is an instance of class then there exists a set or class so that set or class is a member of (@ROW) and entity is an instance of set or class
(=> (exhaustiveDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class)))	Merge.kif 508-512	If @ROW is covered by @ROW then if an entity is a member of (@ROW) then entity is an instance of class
(=> (maxCardinality ?REL ?ARG ?COUNT) (exists (?S) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (lessThanOrEqualTo (CardinalityFn ?S) ?COUNT))))))	Media.kif 1946-1957	If maxCardinality a relation, a positive integer and an integer then there exists a set or class so that set or class is an instance of set or class and if relation @ARGS and entity is equal to positive integerth element of (@ARGS) then entity is an instance of set or class and the number of instances in set or class is less than or equal to integer
(=> (maxCardinality ?REL ?ARG ?COUNT) (lessThanOrEqualTo (CardinalityFn (KappaFn ?EL (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))))) ?COUNT))	Media.kif 1935-1943	If maxCardinality a relation, a positive integer and an integer then the number of instances in the class described by ?EL is less than or equal to integer
(=> (minCardinality ?REL ?ARG ?COUNT) (exists (?S) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (greaterThanOrEqualTo (CardinalityFn ?S) ?COUNT))))))	Media.kif 1913-1924	If minCardinality a relation, a positive integer and an integer then there exists a set or class so that set or class is an instance of set or class and if relation @ARGS and entity is equal to positive integerth element of (@ARGS) then entity is an instance of set or class and the number of instances in set or class is greater than or equal to integer

Display limited to 25 items. Show next 25

statement

(forall (@ROW ?ITEM) (equal (ListLengthFn (ListFn @ROW ?ITEM)) (SuccessorFn (ListLengthFn (ListFn @ROW)))))	Merge.kif 2470-2473	For all @ROW and entity length of (@ROW and entity) is equal to (length of (@ROW)+1)
(forall (@ROW ?ITEM) (equal (ListOrderFn (ListFn @ROW ?ITEM) (ListLengthFn (ListFn @ROW ?ITEM))) ?ITEM))	Merge.kif 2475-2479	For all @ROW and entity length of (@ROW and entity)th element of (@ROW and entity) is equal to entity
(forall (@ROW ?ITEM) (initialList (ListFn @ROW) (ListFn @ROW ?ITEM)))	Merge.kif 2586-2587	For all @ROW and entity (@ROW) starts (@ROW and entity)

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

Sigma web home SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners

KB Term:

English Word: