TreeView 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 2909-2912
(domain ListOrderFn 1 List)	Merge.kif 2905-2905	domain ListOrderFn, 1 and List
(domain ListOrderFn 2 PositiveInteger)	Merge.kif 2906-2906	domain ListOrderFn, 2 and PositiveInteger
(instance ListOrderFn BinaryFunction)	Merge.kif 2903-2903	instance ListOrderFn and BinaryFunction
(instance ListOrderFn PartialValuedRelation)	Merge.kif 2904-2904	instance ListOrderFn and PartialValuedRelation
(range ListOrderFn Entity)	Merge.kif 2907-2907	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 268-268
(termFormat ChineseLanguage ListOrderFn "找出表列顺序的函数")	chinese_format.kif 264-264
(termFormat ChineseLanguage ListOrderFn "清单顺序")	domainEnglishFormat.kif 34680-34680
(termFormat ChineseTraditionalLanguage ListOrderFn "清單順序")	domainEnglishFormat.kif 34679-34679
(termFormat EnglishLanguage ListOrderFn "list order")	domainEnglishFormat.kif 34678-34678

antecedent

(=> (and (defaultMaxValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?N ?VAL) Likely))	Merge.kif 18172-18177	defaultMaxValue Predicate, PositiveInteger and Quantity Predicate @ARGS equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger modalAttribute greaterThan Quantity and Entity and Likely
(=> (and (defaultMinValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?VAL ?N) Likely))	Merge.kif 18155-18160	defaultMinValue Predicate, PositiveInteger and Quantity Predicate @ARGS equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger modalAttribute greaterThan Entity and Quantity and Likely
(=> (and (defaultValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (equal ?N ?VAL) Likely))	Merge.kif 18189-18194	defaultValue Predicate, PositiveInteger and Quantity Predicate @ARGS equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger modalAttribute equal Quantity and Entity and Likely
(=> (and (equal (ListLengthFn ?LIST) ?NUMBER) (equal (ListOrderFn ?LIST ?NUMBER) ?ITEM)) (equal (LastFn ?LIST) ?ITEM))	Merge.kif 3147-3151	equal ListLengthFn List and PositiveInteger equal ListOrderFn List and PositiveInteger and Entity equal LastFn List and Entity
(=> (and (equal ?NLIST (PhysicalQuantityToNumberFn ?QLIST)) (equal ?QUANT (ListOrderFn ?QLIST ?N)) (equal ?NUM (ListOrderFn ?NLIST ?N))) (equal (MeasureFn ?NUM ?UNIT) ?QUANT))	Weather.kif 1837-1844	equal NumberList and PhysicalQuantityToNumberFn MeasuringResultList equal PhysicalQuantity and ListOrderFn MeasuringResultList and PositiveInteger equal PositiveIntegerUM and ListOrderFn NumberList and PositiveInteger equal MeasureFn PositiveIntegerUM and UnitOfMeasure and PhysicalQuantity
(=> (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 2104-2111	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 2091-2101	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.0))	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.0
(=> (and (instance (LongitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 180.0))	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.0
(=> (and (instance ?LIST ConsecutiveTimeIntervalList) (equal ?T1 (ListOrderFn ?LIST ?N)) (equal ?T2 (ListOrderFn ?LIST (AdditionFn ?N 1)))) (equal (BeginFn ?T2) (EndFn ?T1)))	Weather.kif 1934-1943	instance List and ConsecutiveTimeIntervalList equal TimeInterval and ListOrderFn List and PositiveInteger equal TimeInterval and ListOrderFn List and AdditionFn PositiveInteger and 1 equal BeginFn TimeInterval and EndFn TimeInterval
(=> (and (measuringResult ?MLIST ?RLIST) (equal ?M (ListOrderFn ?MLIST ?N)) (equal ?R (ListOrderFn ?RLIST ?N))) (result ?M ?R))	Weather.kif 1805-1810	measuringResult MeasuringList and MeasuringResultList equal Process and ListOrderFn MeasuringList and PositiveInteger equal Entity and ListOrderFn MeasuringResultList and PositiveInteger result Process and Entity
(=> (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 989-1007	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

(<=> (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 289-310	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 RealNumber RealNumberMINUSONE, PositiveInteger and PositiveInteger greaterThan RealNumber and 1 lessThanOrEqualTo RealNumber and ListLengthFn List equal ListOrderFn List and PositiveInteger and RealNumber inList PositiveInteger and List equal RealNumber and ListOrderFn List and PositiveInteger inList PositiveInteger and List equal RealNumberMINUSONE and SubtractionFn RealNumber and 1 equal RealNumberMINUSONE 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
(=> (and (domain ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (instance (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 2926-2931	domain Relation, PositiveInteger and Class instance Relation and Predicate Relation @ROW instance ListOrderFn ListFn @ROW and PositiveInteger and Class
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 2933-2938	domainSubclass Relation, PositiveInteger and Class instance Relation and Predicate Relation @ROW subclass ListOrderFn ListFn @ROW and PositiveInteger and Class
(=> (and (equal ?A (ListSumFn ?L)) (equal 1 (ListLengthFn ?L))) (equal ?A (ListOrderFn ?L 1)))	Merge.kif 3181-3185	equal RealNumber and ListSumFn List equal 1 and ListLengthFn List equal RealNumber and ListOrderFn List and 1
(=> (and (equal ?LIST3 (ListConcatenateFn ?LIST1 ?LIST2)) (not (equal ?LIST1 NullList)) (not (equal ?LIST2 NullList)) (lessThanOrEqualTo ?NUMBER1 (ListLengthFn ?LIST1)) (lessThanOrEqualTo ?NUMBER2 (ListLengthFn ?LIST2)) (instance ?NUMBER1 PositiveInteger) (instance ?NUMBER2 PositiveInteger)) (and (equal (ListOrderFn ?LIST3 ?NUMBER1) (ListOrderFn ?LIST1 ?NUMBER1)) (equal (ListOrderFn ?LIST3 (AdditionFn (ListLengthFn ?LIST1) ?NUMBER2)) (ListOrderFn ?LIST2 ?NUMBER2))))	Merge.kif 3011-3030	equal List and ListConcatenateFn List and List equal List and NullList equal List and NullList lessThanOrEqualTo PositiveInteger and ListLengthFn List lessThanOrEqualTo PositiveInteger and ListLengthFn List instance PositiveInteger and PositiveInteger instance PositiveInteger and PositiveInteger equal ListOrderFn List and PositiveInteger and ListOrderFn List and PositiveInteger equal ListOrderFn List and AdditionFn ListLengthFn List and PositiveInteger and ListOrderFn List and PositiveInteger
(=> (and (equal ?R (SubListFn ?S ?E ?L)) (equal (SubtractionFn ?E ?S) 1)) (equal ?R (ListFn (ListOrderFn ?L ?S))))	Merge.kif 3107-3116	equal List and SubListFn PositiveInteger, Integer and List equal SubtractionFn Integer and PositiveInteger and 1 equal List and ListFn ListOrderFn List and PositiveInteger
(=> (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 3118-3130	equal List and SubListFn PositiveInteger, Integer and List greaterThan SubtractionFn Integer and PositiveInteger and 1 equal List and ListConcatenateFn ListFn ListOrderFn List and PositiveInteger and SubListFn AdditionFn 1 and PositiveInteger, Integer and List
(=> (and (equal ?VA (VarianceAverageFn ?M ?L)) (equal 1 (ListLengthFn ?L))) (equal ?VA (MultiplicationFn (SubtractionFn ?M (ListOrderFn ?L 1)) (SubtractionFn ?M (ListOrderFn ?L 1)))))	Weather.kif 1485-1496	equal RealNumber and VarianceAverageFn RealNumber and List equal 1 and ListLengthFn List equal RealNumber and MultiplicationFn SubtractionFn RealNumber and ListOrderFn List and 1 and SubtractionFn RealNumber and ListOrderFn List and 1
(=> (and (equal ?VA (VarianceAverageFn ?M ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?VA (AdditionFn (VarianceAverageFn ?M (ListOrderFn ?L 1)) (VarianceAverageFn ?M (SubListFn 2 (ListLengthFn ?L) ?L)))))	Weather.kif 1452-1464	equal RealNumber and VarianceAverageFn Number and List greaterThan ListLengthFn List and 1 equal RealNumber and AdditionFn VarianceAverageFn Number and ListOrderFn List and 1 and VarianceAverageFn Number and SubListFn 2, ListLengthFn List and 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 2091-2101	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 2073-2088	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 2130-2143	exactCardinality Relation, PositiveInteger and Integer instance Relation and Predicate Class instance Class and SetOrClass Relation @ARGS equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger instance Entity and Class equal CardinalityFn Class and Integer
(=> (and (instance ?LIST List) (not (equal ?LIST NullList))) (equal (FirstFn ?LIST) (ListOrderFn ?LIST 1)))	Merge.kif 3160-3165	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 2598-2614	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 2201-2214	maxCardinality Relation, PositiveInteger and Integer instance Relation and Predicate Class instance Class and SetOrClass Relation @ARGS equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger instance Entity and Class lessThanOrEqualTo CardinalityFn Class 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 2166-2179	minCardinality Relation, PositiveInteger and Integer instance Relation and Predicate Class instance Class and SetOrClass Relation @ARGS equal Entity and ListOrderFn ListFn @ARGS and PositiveInteger instance Entity and Class greaterThanOrEqualTo CardinalityFn Class 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 474-484	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 (LastFn ?LIST) ?ITEM) (exists (?NUMBER) (and (equal (ListLengthFn ?LIST) ?NUMBER) (equal (ListOrderFn ?LIST ?NUMBER) ?ITEM))))	Merge.kif 3140-3145	equal LastFn List and Entity PositiveInteger equal ListLengthFn List and PositiveInteger equal ListOrderFn List and PositiveInteger and Entity
(=> (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 2119-2127	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 519-531	exhaustiveAttribute Attribute and @ROW Entity instance Entity and Attribute Entity PositiveInteger equal Entity and Entity equal Entity and ListOrderFn ListFn @ROW and PositiveInteger
(=> (inList ?ITEM ?LIST) (exists (?NUMBER) (equal (ListOrderFn ?LIST ?NUMBER) ?ITEM)))	Merge.kif 3041-3044	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 2838-2843	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 2190-2198	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 2154-2162	minCardinality Relation, Integer and Integer greaterThanOrEqualTo CardinalityFn KappaFn SymbolicString and Relation @ARGS equal SymbolicString and ListOrderFn ListFn @ARGS and Integer and Integer

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

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

Merge.kif 2970-2974

@ROW Entity equal ListOrderFn ListFn @ROW and Entity and ListLengthFn ListFn @ROW and Entity and Entity

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

KB Term:			Term intersection

English Word: