Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PositiveInteger

 Sigma KEE - PositiveInteger
PositiveInteger

appearance as argument number 1
-------------------------


(documentation PositiveInteger ChineseLanguage "这是一个大于零的 Integer。") chinese_format.kif 1754-1754
(documentation PositiveInteger EnglishLanguage "An Integer that is greater than zero.") Merge.kif 1997-1997
(documentation PositiveInteger JapaneseLanguage "ゼロより大きい Integer 。") japanese_format.kif 363-363
(subclass PositiveInteger NonnegativeInteger) Merge.kif 1994-1994 子類 PositiveInteger and NonnegativeInteger
(subclass PositiveInteger PositiveRealNumber) Merge.kif 1995-1995 子類 PositiveInteger and PositiveRealNumber

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage PositiveInteger "正整数") chinese_format.kif 872-872
(termFormat EnglishLanguage PositiveInteger "positive integer") english_format.kif 946-946
(termFormat FrenchLanguage PositiveInteger "nombre entier positif") french_format.kif 548-548
(termFormat Hindi PositiveInteger "dhanaatmaka pUrNaanka") terms-hindi.txt 78-78
(termFormat ItalianLanguage PositiveInteger "NumeroInteroPositivo") terms-it.txt 81-81
(termFormat JapaneseLanguage PositiveInteger "正の整数") japanese_format.kif 2233-2233
(termFormat PortugueseLanguage PositiveInteger "Inteiro positivo") portuguese_format.kif 500-500
(termFormat cb PositiveInteger "makapaniguro tanan") terms-cb.txt 83-83
(termFormat cz PositiveInteger "positive integer") terms-cz.txt 115-115
(termFormat ro PositiveInteger "întreg pozitiv") relations-ro.kif 569-569
(termFormat tg PositiveInteger "positibong numero") terms-tg.txt 82-82

appearance as argument number 3
-------------------------


(domain DayFn 1 PositiveInteger) Merge.kif 8588-8588 域 天, 1 and PositiveInteger
(domain EditionFn 2 PositiveInteger) Merge.kif 15509-15509 域 版, 2 and PositiveInteger
(domain ListOrderFn 2 PositiveInteger) Merge.kif 2978-2978 域 清單順序, 2 and PositiveInteger
(domain LogFn 2 PositiveInteger) Merge.kif 4976-4976 域 日誌, 2 and PositiveInteger
(domain PeriodicalIssueFn 2 PositiveInteger) Mid-level-ontology.kif 14663-14663 域 定期發行, 2 and PositiveInteger
(domain QuarterFn 1 PositiveInteger) Merge.kif 8968-8968 域 QuarterFn, 1 and PositiveInteger
(domain SecondFn 1 PositiveInteger) Merge.kif 8666-8666 域 第二, 1 and PositiveInteger
(domain SeriesVolumeFn 2 PositiveInteger) Mid-level-ontology.kif 14618-14618 域 系列卷, 2 and PositiveInteger
(domain WeekFn 1 PositiveInteger) Merge.kif 8950-8950 域 WeekFn, 1 and PositiveInteger
(domain accountNumber 2 PositiveInteger) FinancialOntology.kif 3440-3440 域 帳號, 2 and PositiveInteger
(domain agriculturalProductTypeByRank 3 PositiveInteger) Economy.kif 2243-2243 域 按等級劃分的農產品類型, 3 and PositiveInteger
(domain atomicNumber 2 PositiveInteger) Merge.kif 13773-13773 域 原子數, 2 and PositiveInteger
(domain checkNumber 2 PositiveInteger) FinancialOntology.kif 3457-3457 域 支票號碼, 2 and PositiveInteger
(domain dataStreamSlack 2 PositiveInteger) QoSontology.kif 1209-1209 域 數據流鬆弛, 2 and PositiveInteger
(domain domain 2 PositiveInteger) Merge.kif 209-209 域 域, 2 and PositiveInteger
(domain domainSubclass 2 PositiveInteger) Merge.kif 231-231 域 域子類, 2 and PositiveInteger
(domain electronNumber 2 PositiveInteger) Mid-level-ontology.kif 21709-21709 域 電子數, 2 and PositiveInteger
(domain exportCommodityTypeByRank 3 PositiveInteger) Economy.kif 2324-2324 域 按等級出口商品類型, 3 and PositiveInteger
(domain exportPartnerByRank 3 PositiveInteger) Economy.kif 2503-2503 域 按排名出口合作夥伴, 3 and PositiveInteger
(domain exportPartnerByRankInPeriod 3 PositiveInteger) Economy.kif 2491-2491 域 出口合作夥伴按期間排名, 3 and PositiveInteger
(domain humanCapacity 2 PositiveInteger) Mid-level-ontology.kif 6700-6700 域 人的能力, 2 and PositiveInteger
(domain importCommodityTypeByRank 3 PositiveInteger) Economy.kif 2620-2620 域 按等級進口商品類型, 3 and PositiveInteger
(domain importPartnerByRank 3 PositiveInteger) Economy.kif 2696-2696 域 按等級進口合作夥伴, 3 and PositiveInteger
(domain importPartnerByRankInPeriod 3 PositiveInteger) Economy.kif 2684-2684 域 按期間排名的進口夥伴, 3 and PositiveInteger
(domain industryRankByOutput 3 PositiveInteger) Economy.kif 1588-1588 域 按輸出排名行業, 3 and PositiveInteger

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (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 3083-3102
(=>
    (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 799-817
(=>
    (instance ?X PositiveInteger)
    (greaterThan ?X 0))		 Merge.kif 1999-2001


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

Show without tree


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