| appearance as argument number 1 |
|
| (documentation ListLengthFn ChineseLanguage "这个 Function 接受一个 List 作为它唯一的参数， 然后交出这个 List 中项目的数量。例如： (ListLengthFn (ListFn Monday Tuesday Wednesday))交出的值会是3。") | chinese_format.kif 1967-1969 | |
| (documentation ListLengthFn EnglishLanguage "A Function that takes a List as its sole argument and returns the number of items in the List. For example, (ListLengthFn (ListFn Monday Tuesday Wednesday)) would return the value 3.") | Merge.kif 2906-2909 | |
| (domain ListLengthFn 1 List) | Merge.kif 2903-2903 | 找出表列长度的函数 的 1 数量 是 串列 的 instance |
| (instance ListLengthFn TotalValuedRelation) | Merge.kif 2902-2902 | 找出表列长度的函数 是 总值关系 的 instance |
| (instance ListLengthFn UnaryFunction) | Merge.kif 2901-2901 | 找出表列长度的函数 是 一元函数 的 instance |
| (range ListLengthFn NonnegativeInteger) | Merge.kif 2904-2904 | 找出表列长度的函数 的 range 是 非负整数 的实例 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage ListLengthFn "%1 的长度") | chinese_format.kif 265-265 | |
| (format EnglishLanguage ListLengthFn "length of %1") | english_format.kif 273-273 | |
| (termFormat ChineseLanguage ListLengthFn "列表长度") | domainEnglishFormat.kif 34606-34606 | |
| (termFormat ChineseLanguage ListLengthFn "找出表列长度的函数") | chinese_format.kif 266-266 | |
| (termFormat ChineseTraditionalLanguage ListLengthFn "列表長度") | domainEnglishFormat.kif 34605-34605 | |
| (termFormat EnglishLanguage ListLengthFn "list length") | domainEnglishFormat.kif 34604-34604 |
| antecedent |
|
|
| (=> (and (equal ?A (AverageFn ?L)) (greaterThan (ListLengthFn ?L) 0)) (equal ?A (DivisionFn (ListSumFn ?L) (ListLengthFn ?L)))) |
Merge.kif 3161-3168 | |
| (=> (and (equal ?A (ListSumFn ?L)) (equal 1 (ListLengthFn ?L))) (equal ?A (ListOrderFn ?L 1))) |
Merge.kif 3136-3140 | |
| (=> (and (equal ?A (ListSumFn ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?A (AdditionFn (FirstFn ?L) (ListSumFn (SubListFn 2 (ListLengthFn ?L) ?L))))) |
Merge.kif 3142-3152 | |
| (=> (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 1089-1100 |
| consequent |
|
|
| (<=> (and (equal ?LIST3 (ListConcatenateFn ?LIST1 ?LIST2)) (not (equal ?LIST1 NullList)) (not (equal ?LIST2 NullList))) (forall (?NUMBER1 ?NUMBER2) (=> (and (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 2972-2988 | 串列 equal List包含 另一个 串列 和 第三 串列 和 那个 另外 串列 不 equal 空列表 和 那个 第三 串列 不 equal 空列表 若且唯若 对所有 正整数 和 另一个 正整数 |
| (<=> (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 若且唯若 有存在 另一个 串列 这样 那个 另外 串列 的长度 equal 那个 串列 的长度 和 那个 另外 串列 的第 1 几个元素 equal 那个 串列 的第 1 几个元素 和 对所有 正整数
|
| (<=> (equal (FemaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 411-442 | 地缘政治区域 和 整数 year 的 female 出生预期寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM
|
| (<=> (equal (LastFn ?LIST) ?ITEM) (exists (?NUMBER) (and (equal (ListLengthFn ?LIST) ?NUMBER) (equal (ListOrderFn ?LIST ?NUMBER) ?ITEM)))) |
Merge.kif 3100-3105 | 串列 的 last equal 实体 若且唯若 有存在 正整数 这样 那个 串列 的长度 equal 那个 正整数 和 那个 串列 的第 那个 正整数 几个元素 equal 那个 实体 |
| (<=> (equal (LifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 323-353 | 地缘政治区域 和 整数 year 的出生预期 life equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM
|
| (<=> (equal (MaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 367-398 | 地缘政治区域 和 整数 year 的 male 出生估计寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM
|
| (=> (and (equal ?A (AverageFn ?L)) (greaterThan (ListLengthFn ?L) 0)) (equal ?A (DivisionFn (ListSumFn ?L) (ListLengthFn ?L)))) |
Merge.kif 3161-3168 | |
| (=> (and (equal ?A (ListSumFn ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?A (AdditionFn (FirstFn ?L) (ListSumFn (SubListFn 2 (ListLengthFn ?L) ?L))))) |
Merge.kif 3142-3152 | |
| (=> (and (equal ?V (VarianceFn ?L)) (equal ?M (AverageFn ?L))) (equal ?V (DivisionFn (VarianceAverageFn ?M ?L) (ListLengthFn ?L)))) |
Weather.kif 1078-1087 | |
| (=> (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 1058-1070 | |
| (=> (and (instance ?PAGE SearchResultsPage) (instance ?RESULTS SRPResults) (component ?RESULTS ?PAGE)) (equal (DivisionFn (CardinalityFn (KappaFn ?CLICK (and (instance ?CLICK RequestingHyperlink) (patient ?CLICK ?ELEMENT) (destination ?CLICK ?LINKEDPAGE) (instance ?ELEMENT HypertextLink) (component ?ELEMENT ?PAGE) (or (instance ?LINKEDPAGE ProductDescriptionPage) (instance ?LINKEDPAGE ViewItemPage))))) (ListLengthFn ?RESULTS)) (SRPEngagementFn ?PAGE))) |
UXExperimentalTerms.kif 3923-3941 |
|
| (=> (and (valence ?REL ?NUMBER) (instance ?REL Predicate)) (forall (@ROW) (=> (?REL @ROW) (equal (ListLengthFn (ListFn @ROW)) ?NUMBER)))) |
Merge.kif 2937-2944 |
| statement |
|
|
| (forall (@ROW ?ITEM) (equal (ListLengthFn (ListFn @ROW ?ITEM)) (SuccessorFn (ListLengthFn (ListFn @ROW))))) |
Merge.kif 2926-2929 | 对所有 @ROW 和 另一个 实体 (@ROW 和 那个 另外 实体) 的长度 equal ((@ROW) 的长度+1) |
| (forall (@ROW ?ITEM) (equal (ListOrderFn (ListFn @ROW ?ITEM) (ListLengthFn (ListFn @ROW ?ITEM))) ?ITEM)) |
Merge.kif 2931-2935 | 对所有 @ROW 和 另一个 实体 (@ROW 和 那个 另外 实体) 的第 (@ROW 和 那个 另外 实体) 的长度 几个元素 equal 那个 另外 实体 |
|
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 3.0 is open source software produced by Articulate Software and its partners