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 8624-8624 O argumento numero 1 de DayFn e' uma instancia de Inteiro positivo
(domain EditionFn 2 PositiveInteger) Merge.kif 15555-15555 O argumento numero 2 de EditionFn e' uma instancia de Inteiro positivo
(domain ListOrderFn 2 PositiveInteger) Merge.kif 2979-2979 O argumento numero 2 de ListOrderFn e' uma instancia de Inteiro positivo
(domain LogFn 2 PositiveInteger) Merge.kif 4977-4977 O argumento numero 2 de LogFn e' uma instancia de Inteiro positivo
(domain PeriodicalIssueFn 2 PositiveInteger) Mid-level-ontology.kif 14690-14690 O argumento numero 2 de PeriodicalIssueFn e' uma instancia de Inteiro positivo
(domain QuarterFn 1 PositiveInteger) Merge.kif 9004-9004 O argumento numero 1 de QuarterFn e' uma instancia de Inteiro positivo
(domain SecondFn 1 PositiveInteger) Merge.kif 8702-8702 O argumento numero 1 de SecondFn e' uma instancia de Inteiro positivo
(domain SeriesVolumeFn 2 PositiveInteger) Mid-level-ontology.kif 14645-14645 O argumento numero 2 de SeriesVolumeFn e' uma instancia de Inteiro positivo
(domain WeekFn 1 PositiveInteger) Merge.kif 8986-8986 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 13819-13819 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 21736-21736 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 6694-6694 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 3084-3103
(=>
    (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