ListOrderFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ListOrderFn ChineseLanguage "(ListOrderFn ?LIST ?NUMBER) 表示在 ?LIST List 第?NUMBER个位置的项目。例如： (ListOrderFn (ListFn Monday Tuesday Wednesday) 2) 交出的值会是 Tuesday。")	chinese_format.kif 1964-1966
(documentation ListOrderFn EnglishLanguage "(ListOrderFn ?LIST ?NUMBER) denotes the item that is in the ?NUMBER position in the List ?LIST. For example, (ListOrderFn (ListFn Monday Tuesday Wednesday) 2) would return the value Tuesday.")	Merge.kif 2870-2873
(domain ListOrderFn 1 List)	Merge.kif 2866-2866	domain ListOrderFn, 1 and List
(domain ListOrderFn 2 PositiveInteger)	Merge.kif 2867-2867	domain ListOrderFn, 2 and PositiveInteger
(instance ListOrderFn BinaryFunction)	Merge.kif 2864-2864	instance ListOrderFn and BinaryFunction
(instance ListOrderFn PartialValuedRelation)	Merge.kif 2865-2865	instance ListOrderFn and PartialValuedRelation
(range ListOrderFn Entity)	Merge.kif 2868-2868	range ListOrderFn and Entity

appearance as argument number 2

(format ChineseLanguage ListOrderFn "%1 的第 %2 几个元素")	chinese_format.kif 263-263
(format EnglishLanguage ListOrderFn "%2th element of %1")	english_format.kif 271-271
(termFormat ChineseLanguage ListOrderFn "找出表列顺序的函数")	chinese_format.kif 264-264	termFormat ChineseLanguage, ListOrderFn and "找出表列顺序的函数"
(termFormat ChineseLanguage ListOrderFn "清单顺序")	domainEnglishFormat.kif 34609-34609	termFormat ChineseLanguage, ListOrderFn and "清单顺序"
(termFormat ChineseTraditionalLanguage ListOrderFn "清單順序")	domainEnglishFormat.kif 34608-34608	termFormat ChineseTraditionalLanguage, ListOrderFn and "清單順序"
(termFormat EnglishLanguage ListOrderFn "list order")	domainEnglishFormat.kif 34607-34607	termFormat EnglishLanguage, ListOrderFn and "list order"

antecedent

(=> (and (defaultMaxValue ?R ?ARG ?N) (?R @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?N ?VAL) Likely))	Merge.kif 16946-16951	defaultMaxValue Predicate, PositiveInteger and Quantity Predicate @ARGS equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger modalAttribute greaterThan Quantity and Entity and Likely
(=> (and (defaultMinValue ?R ?ARG ?N) (?R @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?VAL ?N) Likely))	Merge.kif 16931-16936	defaultMinValue Predicate, PositiveInteger and Quantity Predicate @ARGS equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger modalAttribute greaterThan Entity and Quantity and Likely
(=> (and (defaultValue ?R ?ARG ?N) (?R @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (equal ?N ?VAL) Likely))	Merge.kif 16961-16966	defaultValue Predicate, PositiveInteger and Quantity Predicate @ARGS equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger modalAttribute equal Quantity and Entity and Likely
(=> (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	exactCardinality Relation, PositiveInteger and 1 instance Relation and Predicate Relation @ARGS equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger equal Entity and Entity
(=> (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	exactCardinality Relation, PositiveInteger and 1 instance Relation and Predicate Relation @ARGS equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger Entity equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger equal Entity and Entity
(=> (and (instance (LatitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 90))	Geography.kif 427-431	instance LatitudeFn DirectionalAttribute and @ROW and Region equal ListOrderFn ListFn @ROW and 1 and MeasureFn RealNumber and AngularDegree lessThanOrEqualTo RealNumber and 90
(=> (and (instance (LongitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 180))	Geography.kif 467-474	instance LongitudeFn DirectionalAttribute and @ROW and Region equal ListOrderFn ListFn @ROW and 1 and MeasureFn RealNumber and AngularDegree lessThanOrEqualTo RealNumber and 180
(=> (and (maxValue ?R ?ARG ?N) (?R @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (greaterThan ?N ?VAL))	Merge.kif 16916-16921	maxValue Predicate, PositiveInteger and Quantity Predicate @ARGS equal Quantity and ListOrderFn ListFn @ARGS and PositiveInteger greaterThan Quantity and Quantity
(=> (and (minValue ?R ?ARG ?N) (?R @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (greaterThan ?VAL ?N))	Merge.kif 16901-16906	minValue Predicate, PositiveInteger and Quantity Predicate @ARGS equal Quantity and ListOrderFn ListFn @ARGS and PositiveInteger greaterThan Quantity and Quantity
(=> (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 692-708	processList @ROW inList Physical and ListFn @ROW inList Physical and ListFn @ROW equal ListOrderFn ListFn @ROW and PositiveInteger and Physical equal ListOrderFn ListFn @ROW and PositiveInteger and Physical lessThan PositiveInteger and PositiveInteger earlier WhenFn Physical and WhenFn Physical
(=> (and (viewedItemList ?USER ?LIST) (instance ?ACCESSING1 AccessingWebPage) (instance ?ACCESSING2 AccessingWebPage) (agent ?ACCESSING1 ?USER) (agent ?ACCESSING2 ?USER) (instance ?INDEX1 PositiveInteger) (instance ?INDEX2 PositiveInteger) (equal (ListOrderFn ?LIST ?INDEX1) ?ACCESSING1) (equal (ListOrderFn ?LIST ?INDEX2) ?ACCESSING2) (greaterThan ?INDEX1 ?INDEX2)) (earlier (WhenFn ?ACCESSING2) (WhenFn ?ACCESSING1)))	UXExperimentalTerms.kif 985-1003	viewedItemList Agent and List instance Process and AccessingWebPage instance Process and AccessingWebPage agent Process and Agent agent Process and Agent instance PositiveInteger and PositiveInteger instance PositiveInteger and PositiveInteger equal ListOrderFn List and PositiveInteger and Process equal ListOrderFn List and PositiveInteger and Process greaterThan PositiveInteger and PositiveInteger earlier WhenFn Process and WhenFn Process

consequent

(<=> (and (instance ?REL TotalValuedRelation) (instance ?REL Predicate)) (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 2110-2127	instance Relation and TotalValuedRelation instance Relation and Predicate PositiveInteger instance Relation and Relation valence Relation and PositiveInteger PositiveInteger Entity and SetOrClass lessThan PositiveInteger and PositiveInteger domain Relation, PositiveInteger and SetOrClass equal Entity and ListOrderFn ListFn @ROW and PositiveInteger instance Entity and SetOrClass entity Relation @ROW and entity
(<=> (average ?LIST1 ?AVERAGE) (exists (?LIST2) (and (equal (ListLengthFn ?LIST2) (ListLengthFn ?LIST1)) (equal (ListOrderFn ?LIST2 1) (ListOrderFn ?LIST1 1)) (forall (?ITEMFROM2) (=> (inList ?ITEMFROM2 ?LIST2) (exists (?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2) (and (greaterThan ?POSITION 1) (lessThanOrEqualTo ?POSITION (ListLengthFn ?LIST2)) (equal (ListOrderFn ?LIST2 ?ITEMFROM2) ?POSITION) (inList ?ITEMFROM1 ?LIST1) (equal ?POSITION (ListOrderFn ?LIST1 ?ITEMFROM1)) (inList ?PRIORFROM2 ?LIST2) (equal ?POSITIONMINUSONE (SubtractionFn ?POSITION 1)) (equal ?POSITIONMINUSONE (ListOrderFn ?LIST2 ?PRIORFROM2)) (equal ?ITEMFROM2 (AdditionFn ?ITEMFROM1 ?PRIORFROM2)))))) (equal ?LASTPLACE (ListLengthFn ?LIST2)) (equal ?AVERAGE (DivisionFn (ListOrderFn ?LIST2 ?LASTPLACE) ?LASTPLACE)))))	People.kif 285-306	average List and RealNumber List equal ListLengthFn List and ListLengthFn List equal ListOrderFn List and 1 and ListOrderFn List and 1 PositiveInteger inList PositiveInteger and List Quantity QuantityMINUSONE, PositiveInteger and PositiveInteger greaterThan Quantity and 1 lessThanOrEqualTo Quantity and ListLengthFn List equal ListOrderFn List and PositiveInteger and Quantity inList PositiveInteger and List equal Quantity and ListOrderFn List and PositiveInteger inList PositiveInteger and List equal QuantityMINUSONE and SubtractionFn Quantity and 1 equal QuantityMINUSONE and ListOrderFn List and PositiveInteger equal PositiveInteger and AdditionFn PositiveInteger and PositiveInteger equal PositiveInteger and ListLengthFn List equal RealNumber and DivisionFn ListOrderFn List and PositiveInteger and PositiveInteger
(<=> (equal (LastFn ?LIST) ?ITEM) (exists (?NUMBER) (and (equal (ListLengthFn ?LIST) ?NUMBER) (equal (ListOrderFn ?LIST ?NUMBER) ?ITEM))))	Mid-level-ontology.kif 6345-6350	equal LastFn List and Entity PositiveInteger equal ListLengthFn List and PositiveInteger equal ListOrderFn List and PositiveInteger and Entity
(=> (and (domain ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (instance (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 2887-2892	domain Relation, PositiveInteger and SetOrClass instance Relation and Predicate Relation @ROW instance ListOrderFn ListFn @ROW and PositiveInteger and SetOrClass
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 2894-2899	domainSubclass Relation, PositiveInteger and SetOrClass instance Relation and Predicate Relation @ROW subclass ListOrderFn ListFn @ROW and PositiveInteger and SetOrClass
(=> (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	exactCardinality Relation, PositiveInteger and 1 instance Relation and Predicate Relation @ARGS equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger Entity equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger equal Entity and Entity
(=> (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	exactCardinality Relation, PositiveInteger and 1 instance Relation and Predicate Entity @ARGS Relation @ARGS equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger Entity equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger equal Entity and Entity
(=> (and (exactCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (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 2134-2147	exactCardinality Relation, PositiveInteger and Integer instance Relation and Predicate SetOrClass instance SetOrClass and SetOrClass Relation @ARGS equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger instance Entity and SetOrClass equal CardinalityFn SetOrClass and Integer
(=> (and (instance ?LIST List) (not (equal ?LIST NullList))) (equal (FirstFn ?LIST) (ListOrderFn ?LIST 1)))	Mid-level-ontology.kif 6359-6364	instance List and List equal List and NullList equal FirstFn List and ListOrderFn List and 1
(=> (and (instance ?SEO SEO) (patient ?SEO ?PAGE)) (hasPurpose ?SEO (exists (?SRPRESULT_BEFORE ?SRPRESULT_AFTER ?BM1 ?BM2) (and (instance ?SRPRESULT_BEFORE SRPResults) (instance ?SRPRESULT_AFTER SRPResults) (equal ?PAGE (ListOrderFn ?SRPRESULT_BEFORE ?BEFORE)) (equal ?PAGE (ListOrderFn ?SRPRESULT_AFTER ?AFTER)) (instance ?BM1 BestMatchAlgorithm) (instance ?BM2 BestMatchAlgorithm) (earlier (WhenFn ?BM1) (WhenFn ?BM2)) (earlier (WhenFn ?SEO) (WhenFn ?BM2)) (earlier (WhenFn ?BM1) (WhenFn ?SEO)) (greaterThan ?BEFORE ?AFTER)))))	UXExperimentalTerms.kif 2593-2609	instance Process and SEO patient Process and Entity hasPurpose Process and entity_BEFORE entity_AFTER, entity and entity instance entity_BEFORE and SRPResults instance entity_AFTER and SRPResults equal Entity and ListOrderFn entity_BEFORE and entity equal Entity and ListOrderFn entity_AFTER and entity instance entity and BestMatchAlgorithm instance entity and BestMatchAlgorithm earlier WhenFn entity and WhenFn entity earlier WhenFn Process and WhenFn entity earlier WhenFn entity and WhenFn Process greaterThan entity and entity
(=> (and (maxCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (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 2205-2218	maxCardinality Relation, PositiveInteger and Integer instance Relation and Predicate SetOrClass instance SetOrClass and SetOrClass Relation @ARGS equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger instance Entity and SetOrClass lessThanOrEqualTo CardinalityFn SetOrClass and Integer
(=> (and (minCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (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 2170-2183	minCardinality Relation, PositiveInteger and Integer instance Relation and Predicate SetOrClass instance SetOrClass and SetOrClass Relation @ARGS equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger instance Entity and SetOrClass greaterThanOrEqualTo CardinalityFn SetOrClass and Integer
(=> (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 476-486	contraryAttribute @ROW Attribute Attribute equal Attribute and ListOrderFn ListFn @ROW and PositiveInteger equal Attribute and ListOrderFn ListFn @ROW and PositiveInteger equal PositiveInteger and PositiveInteger property Entity and Attribute property Entity and Attribute
(=> (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 293-300	equal List and List equal List and ListFn @ROW1 equal List and ListFn @ROW2 PositiveInteger equal ListOrderFn ListFn @ROW1 and PositiveInteger and ListOrderFn ListFn @ROW2 and PositiveInteger
(=> (exactCardinality ?REL ?ARG ?COUNT) (equal (CardinalityFn (KappaFn ?EL (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))))) ?COUNT))	Media.kif 2123-2131	exactCardinality Relation, Integer and Integer equal CardinalityFn KappaFn SymbolicString and Relation @ARGS equal SymbolicString and ListOrderFn ListFn @ARGS and Integer and 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 521-533	exhaustiveAttribute Attribute and @ROW Entity instance Entity and Attribute Entity PositiveInteger equal Entity and Entity equal Entity and ListOrderFn ListFn @ROW and PositiveInteger
(=> (exhaustiveAttribute ?CLASS @ROW) (=> (equal ?ATTR1 (ListOrderFn (ListFn @ROW) ?N1)) (not (exists (?ATTR2 ?N2) (and (equal ?ATTR1 ?ATTR2) (not (equal ?N1 ?N2)))))))	Merge.kif 535-545	exhaustiveAttribute Attribute and @ROW equal Entity and ListOrderFn ListFn @ROW and PositiveInteger Entity Entity equal Entity and Entity equal PositiveInteger and Entity
(=> (inList ?ITEM ?LIST) (exists (?NUMBER) (equal (ListOrderFn ?LIST ?NUMBER) ?ITEM)))	Merge.kif 3002-3005	inList Entity and List PositiveInteger equal ListOrderFn List and PositiveInteger and Entity
(=> (instance ?LIST UniqueList) (forall (?NUMBER1 ?NUMBER2) (=> (equal (ListOrderFn ?LIST ?NUMBER1) (ListOrderFn ?LIST ?NUMBER2)) (equal ?NUMBER1 ?NUMBER2))))	Merge.kif 2799-2804	instance List and UniqueList PositiveInteger PositiveInteger equal ListOrderFn List and PositiveInteger and ListOrderFn List and PositiveInteger equal PositiveInteger and PositiveInteger
(=> (maxCardinality ?REL ?ARG ?COUNT) (lessThanOrEqualTo (CardinalityFn (KappaFn ?EL (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))))) ?COUNT))	Media.kif 2194-2202	maxCardinality Relation, Integer and Integer lessThanOrEqualTo CardinalityFn KappaFn SymbolicString and Relation @ARGS equal SymbolicString and ListOrderFn ListFn @ARGS and Integer and Integer
(=> (minCardinality ?REL ?ARG ?COUNT) (greaterThanOrEqualTo (CardinalityFn (KappaFn ?EL (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))))) ?COUNT))	Media.kif 2158-2166	minCardinality Relation, Integer and Integer greaterThanOrEqualTo CardinalityFn KappaFn SymbolicString and Relation @ARGS equal SymbolicString and ListOrderFn ListFn @ARGS and Integer and Integer

statement

(forall (@ROW ?ITEM)
    (equal
        (ListOrderFn
            (ListFn @ROW ?ITEM)
            (ListLengthFn
                (ListFn @ROW ?ITEM))) ?ITEM))

Merge.kif 2931-2935

@ROW Entity equal ListOrderFn ListFn @ROW and Entity and ListLengthFn ListFn @ROW and Entity and 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: