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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Integer
Integer(integer)0, 1, 10, 100, 1000, 101, 105, 11, 110, 115, 12, 120, 125, 13, 130, 135, 14, 140, 145, 15, 150, 155, 16, 160, 165, 17, 170, 175, 18, 180, 19, 190, 2, 20, 200, 21, 22, 23, 24, 25, 26, 27, 28, 29, 3, 30, 300, 31, 32, 33...

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


(documentation Integer ChineseLanguage "这是一个负或非负的整数。") chinese_format.kif 1748-1748
(documentation Integer EnglishLanguage "A negative or nonnegative whole number.") Merge.kif 1969-1969
(documentation Integer JapaneseLanguage "負または非負の整数。") japanese_format.kif 356-356
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1967-1967 Integer is exhaustively partitioned into negative integer and nonnegative integer
(partition Integer OddInteger EvenInteger) Merge.kif 1966-1966 Integer is exhaustively partitioned into odd integer and even integer
(subclass Integer RationalNumber) Merge.kif 1965-1965 Integer is a subclass of rational number

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 934-934 The range of available for military service male is an instance of integer
(range CardinalityFn Integer) Merge.kif 5534-5534 The range of cardinality is an instance of integer
(range CeilingFn Integer) Merge.kif 4812-4812 The range of ceiling is an instance of integer
(range DemandFn Integer) Economy.kif 6789-6789 The range of demand is an instance of integer
(range DenominatorFn Integer) Merge.kif 4839-4839 The range of denominator is an instance of integer
(range FitForMilitaryServiceMaleFn Integer) Military.kif 956-956 The range of fit for military service male is an instance of integer
(range FloorFn Integer) Merge.kif 4857-4857 The range of floor is an instance of integer
(range GreatestCommonDivisorFn Integer) Merge.kif 4875-4875 The range of greatest common divisor is an instance of integer
(range LeastCommonMultipleFn Integer) Merge.kif 4960-4960 The range of least common multiple is an instance of integer
(range NumeratorFn Integer) Merge.kif 5065-5065 The range of numerator is an instance of integer
(range PopulationFn Integer) Mid-level-ontology.kif 33639-33639 The range of population is an instance of integer
(range PredecessorFn Integer) Merge.kif 5363-5363 The range of predecessor is an instance of integer
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 994-994 The range of reaching military age annually male is an instance of integer
(range RemainderFn Integer) Merge.kif 5126-5126 The range of remainder is an instance of integer
(range SignumFn Integer) Merge.kif 5218-5218 The range of signum is an instance of integer
(range SuccessorFn Integer) Merge.kif 5330-5330 The range of successor is an instance of integer
(range SupplyFn Integer) Economy.kif 6760-6760 The range of supply is an instance of integer
(subclass EvenInteger Integer) Merge.kif 1971-1971 Even integer is a subclass of integer
(subclass NegativeInteger Integer) Merge.kif 1996-1996 Negative integer is a subclass of integer
(subclass NonnegativeInteger Integer) Merge.kif 1986-1986 Nonnegative integer is a subclass of integer
(subclass OddInteger Integer) Merge.kif 1976-1976 Odd integer is a subclass of integer
(subclass PrimeNumber Integer) Merge.kif 1981-1981 Prime number is a subclass of integer
(termFormat ChineseLanguage Integer "整数") chinese_format.kif 866-866 Prime number is a subclass of integer
(termFormat EnglishLanguage Integer "integer") english_format.kif 934-934 Prime number is a subclass of integer

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 4848-4848 The number 2 argument of exponentiation is an instance of integer
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4876-4876 The number 1 argument of greatest common divisor is an instance of integer
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4961-4961 The number 1 argument of least common multiple is an instance of integer
(domain PredecessorFn 1 Integer) Merge.kif 5362-5362 The number 1 argument of predecessor is an instance of integer
(domain RemainderFn 1 Integer) Merge.kif 5124-5124 The number 1 argument of remainder is an instance of integer
(domain RemainderFn 2 Integer) Merge.kif 5125-5125 The number 2 argument of remainder is an instance of integer
(domain SubListFn 1 Integer) Merge.kif 3174-3174 The number 1 argument of sub-list function is an instance of integer
(domain SubListFn 2 Integer) Merge.kif 3175-3175 The number 2 argument of sub-list function is an instance of integer
(domain SuccessorFn 1 Integer) Merge.kif 5329-5329 The number 1 argument of successor is an instance of integer
(domain YearFn 1 Integer) Merge.kif 8668-8668 The number 1 argument of year is an instance of integer
(domain airQualityIndex 2 Integer) Weather.kif 3779-3779 The number 2 argument of air quality index is an instance of integer
(domain breathingRate 3 Integer) Mid-level-ontology.kif 11710-11710 The number 3 argument of breathing rate is an instance of integer
(domain capacityByArrangement 3 Integer) Hotel.kif 792-792 The number 3 argument of capacity by arrangement is an instance of integer
(domain chromosomeNumber 2 Integer) VirusProteinAndCellPart.kif 705-705 The number 2 argument of chromosome number is an instance of integer
(domain chromosomeSetCount 3 Integer) VirusProteinAndCellPart.kif 831-831 The number 3 argument of chromosome set count is an instance of integer
(domain coilCount 2 Integer) Cars.kif 3173-3173 The number 2 argument of coil count is an instance of integer
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135 The number 3 argument of communication satellite for area is an instance of integer
(domain criticalityLevel 2 Integer) QoSontology.kif 753-753 The number 2 argument of criticality level is an instance of integer
(domain defaultMaxValue 2 Integer) Merge.kif 18628-18628 The number 2 argument of default max value is an instance of integer
(domain defaultMinValue 2 Integer) Merge.kif 18611-18611 The number 2 argument of default min value is an instance of integer
(domain defaultValue 2 Integer) Merge.kif 18645-18645 The number 2 argument of default value is an instance of integer
(domain exactCardinality 2 Integer) Media.kif 2072-2072 The number 2 argument of exact cardinality is an instance of integer
(domain exactCardinality 3 Integer) Media.kif 2073-2073 The number 3 argument of exact cardinality is an instance of integer
(domain fleetSize 2 Integer) Mid-level-ontology.kif 3965-3965 The number 2 argument of Fleet Size is an instance of integer
(domain gearToothCount 2 Integer) engineering.kif 837-837 The number 2 argument of gear tooth count is an instance of integer

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 5114-5119
(=>
    (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 32892-32907
(=>
    (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 32834-32844
(=>
    (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 32859-32874
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5356-5358
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5352-5354
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5372-5374
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5339-5341
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 5110-5112

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 25883-25893
(=>
    (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 3407-3411
(=>
    (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 25842-25853
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 4927-4932


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