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 1954-1954
(documentation Integer JapaneseLanguage "負または非負の整数。") japanese_format.kif 356-356
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1952-1952 Nombre entier est compl�tement d�compos� en nombre entier n�gatif + nombre entier non n�gatif
(partition Integer OddInteger EvenInteger) Merge.kif 1951-1951 Nombre entier est compl�tement d�compos� en nombre entier impair + nombre entier �gal
(subclass Integer RationalNumber) Merge.kif 1950-1950 Nombre entier est une sous-classe de nombre rationnel

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 934-934 Le domaine de AvailableForMilitaryServiceMaleFn est une instance de nombre entier
(range CardinalityFn Integer) Merge.kif 5519-5519 Le domaine de CardinalityFn est une instance de nombre entier
(range CeilingFn Integer) Merge.kif 4797-4797 Le domaine de CeilingFn est une instance de nombre entier
(range DemandFn Integer) Economy.kif 6789-6789 Le domaine de DemandFn est une instance de nombre entier
(range DenominatorFn Integer) Merge.kif 4824-4824 Le domaine de DenominatorFn est une instance de nombre entier
(range FitForMilitaryServiceMaleFn Integer) Military.kif 956-956 Le domaine de FitForMilitaryServiceMaleFn est une instance de nombre entier
(range FloorFn Integer) Merge.kif 4842-4842 Le domaine de FloorFn est une instance de nombre entier
(range GreatestCommonDivisorFn Integer) Merge.kif 4860-4860 Le domaine de GreatestCommonDivisorFn est une instance de nombre entier
(range LeastCommonMultipleFn Integer) Merge.kif 4945-4945 Le domaine de LeastCommonMultipleFn est une instance de nombre entier
(range NumeratorFn Integer) Merge.kif 5050-5050 Le domaine de NumeratorFn est une instance de nombre entier
(range PopulationFn Integer) Mid-level-ontology.kif 33641-33641 Le domaine de PopulationFn est une instance de nombre entier
(range PredecessorFn Integer) Merge.kif 5348-5348 Le domaine de PredecessorFn est une instance de nombre entier
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 994-994 Le domaine de ReachingMilitaryAgeAnnuallyMaleFn est une instance de nombre entier
(range RemainderFn Integer) Merge.kif 5111-5111 Le domaine de RemainderFn est une instance de nombre entier
(range SignumFn Integer) Merge.kif 5203-5203 Le domaine de SignumFn est une instance de nombre entier
(range SuccessorFn Integer) Merge.kif 5315-5315 Le domaine de SuccessorFn est une instance de nombre entier
(range SupplyFn Integer) Economy.kif 6760-6760 Le domaine de SupplyFn est une instance de nombre entier
(subclass EvenInteger Integer) Merge.kif 1956-1956 Nombre entier �gal est une sous-classe de nombre entier
(subclass NegativeInteger Integer) Merge.kif 1981-1981 Nombre entier n�gatif est une sous-classe de nombre entier
(subclass NonnegativeInteger Integer) Merge.kif 1971-1971 Nombre entier non n�gatif est une sous-classe de nombre entier
(subclass OddInteger Integer) Merge.kif 1961-1961 Nombre entier impair est une sous-classe de nombre entier
(subclass PrimeNumber Integer) Merge.kif 1966-1966 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

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 4833-4833 Le nombre 2 argument de ExponentiationFn est une instance de nombre entier
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4861-4861 Le nombre 1 argument de GreatestCommonDivisorFn est une instance de nombre entier
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4946-4946 Le nombre 1 argument de LeastCommonMultipleFn est une instance de nombre entier
(domain PredecessorFn 1 Integer) Merge.kif 5347-5347 Le nombre 1 argument de PredecessorFn est une instance de nombre entier
(domain RemainderFn 1 Integer) Merge.kif 5109-5109 Le nombre 1 argument de RemainderFn est une instance de nombre entier
(domain RemainderFn 2 Integer) Merge.kif 5110-5110 Le nombre 2 argument de RemainderFn est une instance de nombre entier
(domain SubListFn 1 Integer) Merge.kif 3159-3159 Le nombre 1 argument de SubListFn est une instance de nombre entier
(domain SubListFn 2 Integer) Merge.kif 3160-3160 Le nombre 2 argument de SubListFn est une instance de nombre entier
(domain SuccessorFn 1 Integer) Merge.kif 5314-5314 Le nombre 1 argument de SuccessorFn est une instance de nombre entier
(domain YearFn 1 Integer) Merge.kif 8653-8653 Le nombre 1 argument de YearFn est une instance de nombre entier
(domain airQualityIndex 2 Integer) Weather.kif 3483-3483 Le nombre 2 argument de airQualityIndex est une instance de nombre entier
(domain breathingRate 3 Integer) Mid-level-ontology.kif 11710-11710 Le nombre 3 argument de breathingRate est une instance de nombre entier
(domain capacityByArrangement 3 Integer) Hotel.kif 792-792 Le nombre 3 argument de capacityByArrangement est une instance de nombre entier
(domain chromosomeNumber 2 Integer) VirusProteinAndCellPart.kif 705-705 Le nombre 2 argument de chromosomeNumber est une instance de nombre entier
(domain chromosomeSetCount 3 Integer) VirusProteinAndCellPart.kif 831-831 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 753-753 Le nombre 2 argument de criticalityLevel est une instance de nombre entier
(domain defaultMaxValue 2 Integer) Merge.kif 18613-18613 Le nombre 2 argument de defaultMaxValue est une instance de nombre entier
(domain defaultMinValue 2 Integer) Merge.kif 18596-18596 Le nombre 2 argument de defaultMinValue est une instance de nombre entier
(domain defaultValue 2 Integer) Merge.kif 18630-18630 Le nombre 2 argument de defaultValue est une instance de nombre entier
(domain exactCardinality 2 Integer) Media.kif 2072-2072 Le nombre 2 argument de exactCardinality est une instance de nombre entier
(domain exactCardinality 3 Integer) Media.kif 2073-2073 Le nombre 3 argument de exactCardinality est une instance de nombre entier
(domain fleetSize 2 Integer) Mid-level-ontology.kif 3965-3965 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 5099-5104
(=>
    (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 32894-32909
(=>
    (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 32836-32846
(=>
    (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 32861-32876
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5341-5343
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5337-5339
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5357-5359
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5324-5326
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 5095-5097

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 25885-25895
(=>
    (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 71-87
(=>
    (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 102-118
(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3392-3396
(=>
    (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 25844-25855
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 4912-4917


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