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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PositiveInteger
PositiveInteger(Inteiro positivo)

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 Inteiro positivo e' uma sub-classe de Numero Inteiro nao-negativo
(subclass PositiveInteger PositiveRealNumber) Merge.kif 1995-1995 Inteiro positivo e' uma sub-classe de Numero Real positivo

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 O argumento numero 1 de DayFn e' uma instancia de Inteiro positivo
(domain EditionFn 2 PositiveInteger) Merge.kif 15509-15509 O argumento numero 2 de EditionFn e' uma instancia de Inteiro positivo
(domain ListOrderFn 2 PositiveInteger) Merge.kif 2978-2978 O argumento numero 2 de ListOrderFn e' uma instancia de Inteiro positivo
(domain LogFn 2 PositiveInteger) Merge.kif 4976-4976 O argumento numero 2 de LogFn e' uma instancia de Inteiro positivo
(domain PeriodicalIssueFn 2 PositiveInteger) Mid-level-ontology.kif 14663-14663 O argumento numero 2 de PeriodicalIssueFn e' uma instancia de Inteiro positivo
(domain QuarterFn 1 PositiveInteger) Merge.kif 8968-8968 O argumento numero 1 de QuarterFn e' uma instancia de Inteiro positivo
(domain SecondFn 1 PositiveInteger) Merge.kif 8666-8666 O argumento numero 1 de SecondFn e' uma instancia de Inteiro positivo
(domain SeriesVolumeFn 2 PositiveInteger) Mid-level-ontology.kif 14618-14618 O argumento numero 2 de SeriesVolumeFn e' uma instancia de Inteiro positivo
(domain WeekFn 1 PositiveInteger) Merge.kif 8950-8950 O argumento numero 1 de WeekFn e' uma instancia de Inteiro positivo
(domain accountNumber 2 PositiveInteger) FinancialOntology.kif 3440-3440 O argumento numero 2 de accountNumber e' uma instancia de Inteiro positivo
(domain agriculturalProductTypeByRank 3 PositiveInteger) Economy.kif 2243-2243 O argumento numero 3 de agriculturalProductTypeByRank e' uma instancia de Inteiro positivo
(domain atomicNumber 2 PositiveInteger) Merge.kif 13773-13773 O argumento numero 2 de atomicNumber e' uma instancia de Inteiro positivo
(domain checkNumber 2 PositiveInteger) FinancialOntology.kif 3457-3457 O argumento numero 2 de checkNumber e' uma instancia de Inteiro positivo
(domain dataStreamSlack 2 PositiveInteger) QoSontology.kif 1209-1209 O argumento numero 2 de dataStreamSlack e' uma instancia de Inteiro positivo
(domain domain 2 PositiveInteger) Merge.kif 209-209 O argumento numero 2 de domain e' uma instancia de Inteiro positivo
(domain domainSubclass 2 PositiveInteger) Merge.kif 231-231 O argumento numero 2 de domainSubclass e' uma instancia de Inteiro positivo
(domain electronNumber 2 PositiveInteger) Mid-level-ontology.kif 21709-21709 O argumento numero 2 de electronNumber e' uma instancia de Inteiro positivo
(domain exportCommodityTypeByRank 3 PositiveInteger) Economy.kif 2324-2324 O argumento numero 3 de exportCommodityTypeByRank e' uma instancia de Inteiro positivo
(domain exportPartnerByRank 3 PositiveInteger) Economy.kif 2503-2503 O argumento numero 3 de exportPartnerByRank e' uma instancia de Inteiro positivo
(domain exportPartnerByRankInPeriod 3 PositiveInteger) Economy.kif 2491-2491 O argumento numero 3 de exportPartnerByRankInPeriod e' uma instancia de Inteiro positivo
(domain humanCapacity 2 PositiveInteger) Mid-level-ontology.kif 6700-6700 O argumento numero 2 de humanCapacity e' uma instancia de Inteiro positivo
(domain importCommodityTypeByRank 3 PositiveInteger) Economy.kif 2620-2620 O argumento numero 3 de importCommodityTypeByRank e' uma instancia de Inteiro positivo
(domain importPartnerByRank 3 PositiveInteger) Economy.kif 2696-2696 O argumento numero 3 de importPartnerByRank e' uma instancia de Inteiro positivo
(domain importPartnerByRankInPeriod 3 PositiveInteger) Economy.kif 2684-2684 O argumento numero 3 de importPartnerByRankInPeriod e' uma instancia de Inteiro positivo
(domain industryRankByOutput 3 PositiveInteger) Economy.kif 1588-1588 O argumento numero 3 de industryRankByOutput e' uma instancia de Inteiro positivo

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 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