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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Integer

 Sigma KEE - Integer
Integer(NumeroIntero)

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


(documentation Integer ChineseLanguage "这是一个负或非负的整数。") chinese_format.kif 1748-1748
(documentation Integer EnglishLanguage "A negative or nonnegative whole number.") Merge.kif 1958-1958
(documentation Integer JapaneseLanguage "負または非負の整数。") japanese_format.kif 356-356
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1956-1956 NumeroIntero è esaustivamente partizionato in NumeroInteroNegativo + NumeroInteroNonNegativo
(partition Integer OddInteger EvenInteger) Merge.kif 1955-1955 NumeroIntero è esaustivamente partizionato in NumeroInteroDispari + NumeroInteroPari
(subclass Integer RationalNumber) Merge.kif 1954-1954 NumeroIntero è una sottoclasse di NumeroRazionale

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 857-857 rango di AvailableForMilitaryServiceMaleFn è un'istanza di NumeroIntero
(range CardinalityFn Integer) Merge.kif 5510-5510 rango di CardinalityFn è un'istanza di NumeroIntero
(range CeilingFn Integer) Merge.kif 4785-4785 rango di CeilingFn è un'istanza di NumeroIntero
(range DenominatorFn Integer) Merge.kif 4812-4812 rango di DenominatorFn è un'istanza di NumeroIntero
(range FitForMilitaryServiceMaleFn Integer) Military.kif 879-879 rango di FitForMilitaryServiceMaleFn è un'istanza di NumeroIntero
(range FloorFn Integer) Merge.kif 4830-4830 rango di FloorFn è un'istanza di NumeroIntero
(range GreatestCommonDivisorFn Integer) Merge.kif 4848-4848 rango di GreatestCommonDivisorFn è un'istanza di NumeroIntero
(range LeastCommonMultipleFn Integer) Merge.kif 4933-4933 rango di LeastCommonMultipleFn è un'istanza di NumeroIntero
(range NumeratorFn Integer) Merge.kif 5038-5038 rango di NumeratorFn è un'istanza di NumeroIntero
(range PopulationFn Integer) Mid-level-ontology.kif 31725-31725 rango di PopulationFn è un'istanza di NumeroIntero
(range PredecessorFn Integer) Merge.kif 5336-5336 rango di PredecessorFn è un'istanza di NumeroIntero
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 917-917 rango di ReachingMilitaryAgeAnnuallyMaleFn è un'istanza di NumeroIntero
(range RemainderFn Integer) Merge.kif 5099-5099 rango di RemainderFn è un'istanza di NumeroIntero
(range SignumFn Integer) Merge.kif 5191-5191 rango di SignumFn è un'istanza di NumeroIntero
(range SuccessorFn Integer) Merge.kif 5303-5303 rango di SuccessorFn è un'istanza di NumeroIntero
(subclass EvenInteger Integer) Merge.kif 1960-1960 NumeroInteroPari è una sottoclasse di NumeroIntero
(subclass NegativeInteger Integer) Merge.kif 1985-1985 NumeroInteroNegativo è una sottoclasse di NumeroIntero
(subclass NonnegativeInteger Integer) Merge.kif 1975-1975 NumeroInteroNonNegativo è una sottoclasse di NumeroIntero
(subclass OddInteger Integer) Merge.kif 1965-1965 NumeroInteroDispari è una sottoclasse di NumeroIntero
(subclass PrimeNumber Integer) Merge.kif 1970-1970 NumeroPrimo è una sottoclasse di NumeroIntero
(termFormat ChineseLanguage Integer "整数") chinese_format.kif 866-866
(termFormat EnglishLanguage Integer "integer") english_format.kif 934-934
(termFormat FrenchLanguage Integer "nombre entier") french_format.kif 542-542
(termFormat Hindi Integer "pUrNaanka") terms-hindi.txt 72-72

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain ExponentiationFn 2 Integer) Merge.kif 4821-4821 Il numero 2 argomenti di ExponentiationFn è un istanza di NumeroIntero
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4849-4849 Il numero 1 argomenti di GreatestCommonDivisorFn è un istanza di NumeroIntero
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4934-4934 Il numero 1 argomenti di LeastCommonMultipleFn è un istanza di NumeroIntero
(domain PredecessorFn 1 Integer) Merge.kif 5335-5335 Il numero 1 argomenti di PredecessorFn è un istanza di NumeroIntero
(domain RemainderFn 1 Integer) Merge.kif 5097-5097 Il numero 1 argomenti di RemainderFn è un istanza di NumeroIntero
(domain RemainderFn 2 Integer) Merge.kif 5098-5098 Il numero 2 argomenti di RemainderFn è un istanza di NumeroIntero
(domain SubListFn 1 Integer) Merge.kif 3162-3162 Il numero 1 argomenti di SubListFn è un istanza di NumeroIntero
(domain SubListFn 2 Integer) Merge.kif 3163-3163 Il numero 2 argomenti di SubListFn è un istanza di NumeroIntero
(domain SuccessorFn 1 Integer) Merge.kif 5302-5302 Il numero 1 argomenti di SuccessorFn è un istanza di NumeroIntero
(domain YearFn 1 Integer) Merge.kif 8591-8591 Il numero 1 argomenti di YearFn è un istanza di NumeroIntero
(domain airQualityIndex 2 Integer) Weather.kif 3076-3076 Il numero 2 argomenti di airQualityIndex è un istanza di NumeroIntero
(domain breathingRate 3 Integer) Mid-level-ontology.kif 10406-10406 Il numero 3 argomenti di breathingRate è un istanza di NumeroIntero
(domain capacityByArrangement 3 Integer) Hotel.kif 788-788 Il numero 3 argomenti di capacityByArrangement è un istanza di NumeroIntero
(domain chromosomeNumber 2 Integer) VirusProteinAndCellPart.kif 698-698 Il numero 2 argomenti di chromosomeNumber è un istanza di NumeroIntero
(domain chromosomeSetCount 3 Integer) VirusProteinAndCellPart.kif 824-824 Il numero 3 argomenti di chromosomeSetCount è un istanza di NumeroIntero
(domain coilCount 2 Integer) Cars.kif 3097-3097 Il numero 2 argomenti di coilCount è un istanza di NumeroIntero
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135 Il numero 3 argomenti di communicationSatelliteForArea è un istanza di NumeroIntero
(domain criticalityLevel 2 Integer) QoSontology.kif 644-644 Il numero 2 argomenti di criticalityLevel è un istanza di NumeroIntero
(domain defaultMaxValue 2 Integer) Merge.kif 18520-18520 Il numero 2 argomenti di defaultMaxValue è un istanza di NumeroIntero
(domain defaultMinValue 2 Integer) Merge.kif 18503-18503 Il numero 2 argomenti di defaultMinValue è un istanza di NumeroIntero
(domain defaultValue 2 Integer) Merge.kif 18537-18537 Il numero 2 argomenti di defaultValue è un istanza di NumeroIntero
(domain exactCardinality 2 Integer) Media.kif 2070-2070 Il numero 2 argomenti di exactCardinality è un istanza di NumeroIntero
(domain exactCardinality 3 Integer) Media.kif 2071-2071 Il numero 3 argomenti di exactCardinality è un istanza di NumeroIntero
(domain fleetSize 2 Integer) Mid-level-ontology.kif 3515-3515 Il numero 2 argomenti di fleetSize è un istanza di NumeroIntero
(domain haploidNumber 2 Integer) VirusProteinAndCellPart.kif 789-789 Il numero 2 argomenti di haploidNumber è un istanza di NumeroIntero

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?NUMBER Integer)
        (not
            (equal ?NUMBER 0)))
    (equal 1
        (MultiplicationFn ?NUMBER
            (ReciprocalFn ?NUMBER))))		 Merge.kif 5087-5092
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (desires ?A
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))		 Mid-level-ontology.kif 30980-30995
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (desires ?A
        (exists (?G)
            (and
                (instance ?G Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))		 Mid-level-ontology.kif 30922-30932
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (not
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))		 Mid-level-ontology.kif 30947-30962
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))		 Merge.kif 5329-5331
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))		 Merge.kif 5325-5327
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))		 Merge.kif 5345-5347
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))		 Merge.kif 5312-5314
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))		 Merge.kif 5083-5085

consequent
-------------------------


(=>
    (and
        (birthdate ?A ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (birthday ?A ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))		 Mid-level-ontology.kif 24293-24303
(=>
    (and
        (instance ?MIT BarMitzvah)
        (patient ?MIT ?X)
        (instance ?X Boy)
        (member ?X ?GROUP)
        (instance ?GROUP Judaism)
        (birthdate ?X ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?Y13 ?BD13)
        (and
            (instance ?Y13 Integer)
            (equal ?Y13
                (AdditionFn ?Y 13))
            (instance ?BD13
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y13))))
            (equal
                (WhenFn ?MIT)
                (ImmediateFutureFn ?BD13)))))		 Biography.kif 69-85
(=>
    (and
        (instance ?MIT BatMitzvah)
        (patient ?MIT ?X)
        (instance ?X Girl)
        (member ?X ?GROUP)
        (instance ?GROUP Judaism)
        (birthdate ?X ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?Y13 ?BD13)
        (and
            (instance ?Y13 Integer)
            (equal ?Y13
                (AdditionFn ?Y 13))
            (instance ?BD13
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y13))))
            (equal
                (WhenFn ?MIT)
                (ImmediateFutureFn ?BD13)))))		 Biography.kif 99-115
(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))		 Merge.kif 3393-3397
(=>
    (and
        (instance ?WED Wedding)
        (date ?WED ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (weddingAnniversary ?WED ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))		 Mid-level-ontology.kif 24252-24263
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))		 Merge.kif 4900-4905


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