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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Integer
Integer(nombre entier)

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 Nombre entier est compl�tement d�compos� en nombre entier n�gatif + nombre entier non n�gatif
(partition Integer OddInteger EvenInteger) Merge.kif 1955-1955 Nombre entier est compl�tement d�compos� en nombre entier impair + nombre entier �gal
(subclass Integer RationalNumber) Merge.kif 1954-1954 Nombre entier est une sous-classe de nombre rationnel

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 857-857 Le domaine de AvailableForMilitaryServiceMaleFn est une instance de nombre entier
(range CardinalityFn Integer) Merge.kif 5504-5504 Le domaine de CardinalityFn est une instance de nombre entier
(range CeilingFn Integer) Merge.kif 4782-4782 Le domaine de CeilingFn est une instance de nombre entier
(range DenominatorFn Integer) Merge.kif 4809-4809 Le domaine de DenominatorFn est une instance de nombre entier
(range FitForMilitaryServiceMaleFn Integer) Military.kif 879-879 Le domaine de FitForMilitaryServiceMaleFn est une instance de nombre entier
(range FloorFn Integer) Merge.kif 4827-4827 Le domaine de FloorFn est une instance de nombre entier
(range GreatestCommonDivisorFn Integer) Merge.kif 4845-4845 Le domaine de GreatestCommonDivisorFn est une instance de nombre entier
(range LeastCommonMultipleFn Integer) Merge.kif 4930-4930 Le domaine de LeastCommonMultipleFn est une instance de nombre entier
(range NumeratorFn Integer) Merge.kif 5035-5035 Le domaine de NumeratorFn est une instance de nombre entier
(range PopulationFn Integer) Mid-level-ontology.kif 31991-31991 Le domaine de PopulationFn est une instance de nombre entier
(range PredecessorFn Integer) Merge.kif 5333-5333 Le domaine de PredecessorFn est une instance de nombre entier
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 917-917 Le domaine de ReachingMilitaryAgeAnnuallyMaleFn est une instance de nombre entier
(range RemainderFn Integer) Merge.kif 5096-5096 Le domaine de RemainderFn est une instance de nombre entier
(range SignumFn Integer) Merge.kif 5188-5188 Le domaine de SignumFn est une instance de nombre entier
(range SuccessorFn Integer) Merge.kif 5300-5300 Le domaine de SuccessorFn est une instance de nombre entier
(subclass EvenInteger Integer) Merge.kif 1960-1960 Nombre entier �gal est une sous-classe de nombre entier
(subclass NegativeInteger Integer) Merge.kif 1985-1985 Nombre entier n�gatif est une sous-classe de nombre entier
(subclass NonnegativeInteger Integer) Merge.kif 1975-1975 Nombre entier non n�gatif est une sous-classe de nombre entier
(subclass OddInteger Integer) Merge.kif 1965-1965 Nombre entier impair est une sous-classe de nombre entier
(subclass PrimeNumber Integer) Merge.kif 1970-1970 Nombre premier est une sous-classe de nombre entier
(termFormat ChineseLanguage Integer "整数") chinese_format.kif 866-866 Nombre premier est une sous-classe de nombre entier
(termFormat EnglishLanguage Integer "integer") english_format.kif 934-934 Nombre premier est une sous-classe de nombre entier
(termFormat FrenchLanguage Integer "nombre entier") french_format.kif 542-542 Nombre premier est une sous-classe de nombre entier
(termFormat Hindi Integer "pUrNaanka") terms-hindi.txt 72-72 Nombre premier est une sous-classe de nombre entier

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 4818-4818 Le nombre 2 argument de ExponentiationFn est une instance de nombre entier
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4846-4846 Le nombre 1 argument de GreatestCommonDivisorFn est une instance de nombre entier
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4931-4931 Le nombre 1 argument de LeastCommonMultipleFn est une instance de nombre entier
(domain PredecessorFn 1 Integer) Merge.kif 5332-5332 Le nombre 1 argument de PredecessorFn est une instance de nombre entier
(domain RemainderFn 1 Integer) Merge.kif 5094-5094 Le nombre 1 argument de RemainderFn est une instance de nombre entier
(domain RemainderFn 2 Integer) Merge.kif 5095-5095 Le nombre 2 argument de RemainderFn est une instance de nombre entier
(domain SubListFn 1 Integer) Merge.kif 3162-3162 Le nombre 1 argument de SubListFn est une instance de nombre entier
(domain SubListFn 2 Integer) Merge.kif 3163-3163 Le nombre 2 argument de SubListFn est une instance de nombre entier
(domain SuccessorFn 1 Integer) Merge.kif 5299-5299 Le nombre 1 argument de SuccessorFn est une instance de nombre entier
(domain YearFn 1 Integer) Merge.kif 8601-8601 Le nombre 1 argument de YearFn est une instance de nombre entier
(domain airQualityIndex 2 Integer) Weather.kif 3076-3076 Le nombre 2 argument de airQualityIndex est une instance de nombre entier
(domain breathingRate 3 Integer) Mid-level-ontology.kif 10597-10597 Le nombre 3 argument de breathingRate est une instance de nombre entier
(domain capacityByArrangement 3 Integer) Hotel.kif 788-788 Le nombre 3 argument de capacityByArrangement est une instance de nombre entier
(domain chromosomeNumber 2 Integer) VirusProteinAndCellPart.kif 698-698 Le nombre 2 argument de chromosomeNumber est une instance de nombre entier
(domain chromosomeSetCount 3 Integer) VirusProteinAndCellPart.kif 824-824 Le nombre 3 argument de chromosomeSetCount est une instance de nombre entier
(domain coilCount 2 Integer) Cars.kif 3173-3173 Le nombre 2 argument de coilCount est une instance de nombre entier
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135 Le nombre 3 argument de communicationSatelliteForArea est une instance de nombre entier
(domain criticalityLevel 2 Integer) QoSontology.kif 750-750 Le nombre 2 argument de criticalityLevel est une instance de nombre entier
(domain defaultMaxValue 2 Integer) Merge.kif 18526-18526 Le nombre 2 argument de defaultMaxValue est une instance de nombre entier
(domain defaultMinValue 2 Integer) Merge.kif 18509-18509 Le nombre 2 argument de defaultMinValue est une instance de nombre entier
(domain defaultValue 2 Integer) Merge.kif 18543-18543 Le nombre 2 argument de defaultValue est une instance de nombre entier
(domain exactCardinality 2 Integer) Media.kif 2070-2070 Le nombre 2 argument de exactCardinality est une instance de nombre entier
(domain exactCardinality 3 Integer) Media.kif 2071-2071 Le nombre 3 argument de exactCardinality est une instance de nombre entier
(domain fleetSize 2 Integer) Mid-level-ontology.kif 3515-3515 Le nombre 2 argument de fleetSize est une instance de nombre entier
(domain gearToothCount 2 Integer) engineering.kif 837-837 Le nombre 2 argument de gearToothCount est une instance de nombre entier

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 5084-5089
(=>
    (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 31245-31260
(=>
    (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 31187-31197
(=>
    (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 31212-31227
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5326-5328
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5322-5324
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5342-5344
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5309-5311
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 5080-5082

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 24556-24566
(=>
    (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 24515-24526
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 4897-4902


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