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 1866-1866
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1864-1864 Integer is exhaustively partitioned into negative integer and nonnegative integer
(partition Integer OddInteger EvenInteger) Merge.kif 1863-1863 Integer is exhaustively partitioned into odd integer and even integer
(subclass Integer RationalNumber) Merge.kif 1862-1862 Integer is a subclass of rational number

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 861-861 The range of available for military service male is an instance of integer
(range CardinalityFn Integer) Merge.kif 5189-5189 The range of cardinality is an instance of integer
(range CeilingFn Integer) Merge.kif 4563-4563 The range of ceiling is an instance of integer
(range DenominatorFn Integer) Merge.kif 4590-4590 The range of denominator is an instance of integer
(range FitForMilitaryServiceMaleFn Integer) Military.kif 883-883 The range of fit for military service male is an instance of integer
(range FloorFn Integer) Merge.kif 4608-4608 The range of floor is an instance of integer
(range GreatestCommonDivisorFn Integer) Merge.kif 4626-4626 The range of greatest common divisor is an instance of integer
(range LeastCommonMultipleFn Integer) Merge.kif 4699-4699 The range of least common multiple is an instance of integer
(range NumeratorFn Integer) Merge.kif 4793-4793 The range of numerator is an instance of integer
(range PopulationFn Integer) People.kif 30-30 The range of population is an instance of integer
(range PredecessorFn Integer) Merge.kif 5020-5020 The range of predecessor is an instance of integer
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 921-921 The range of reaching military age annually male is an instance of integer
(range RemainderFn Integer) Merge.kif 4854-4854 The range of remainder is an instance of integer
(range SignumFn Integer) Merge.kif 4908-4908 The range of signum is an instance of integer
(range SuccessorFn Integer) Merge.kif 4987-4987 The range of successor is an instance of integer
(subclass EvenInteger Integer) Merge.kif 1868-1868 Even integer is a subclass of integer
(subclass NegativeInteger Integer) Merge.kif 1893-1893 Negative integer is a subclass of integer
(subclass NonnegativeInteger Integer) Merge.kif 1883-1883 Nonnegative integer is a subclass of integer
(subclass OddInteger Integer) Merge.kif 1873-1873 Odd integer is a subclass of integer
(subclass PrimeNumber Integer) Merge.kif 1878-1878 Prime number is a subclass of integer
(termFormat ChineseLanguage Integer "整数") chinese_format.kif 866-866
(termFormat EnglishLanguage Integer "integer") english_format.kif 939-939

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


(domain ExponentiationFn 2 Integer) Merge.kif 4599-4599 The number 2 argument of exponentiation is an instance of integer
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4627-4627 The number 1 argument of greatest common divisor is an instance of integer
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4700-4700 The number 1 argument of least common multiple is an instance of integer
(domain PredecessorFn 1 Integer) Merge.kif 5019-5019 The number 1 argument of predecessor is an instance of integer
(domain RemainderFn 1 Integer) Merge.kif 4852-4852 The number 1 argument of remainder is an instance of integer
(domain RemainderFn 2 Integer) Merge.kif 4853-4853 The number 2 argument of remainder is an instance of integer
(domain SubListFn 1 Integer) Merge.kif 3049-3049 The number 1 argument of sub-list function is an instance of integer
(domain SubListFn 2 Integer) Merge.kif 3050-3050 The number 2 argument of sub-list function is an instance of integer
(domain SuccessorFn 1 Integer) Merge.kif 4986-4986 The number 1 argument of successor is an instance of integer
(domain YearFn 1 Integer) Merge.kif 7992-7992 The number 1 argument of year is an instance of integer
(domain capacityByArrangement 3 Integer) Hotel.kif 761-761 The number 3 argument of capacity by arrangement is an instance of integer
(domain coilCount 2 Integer) Cars.kif 3088-3088 The number 2 argument of coilCount 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 642-642 The number 2 argument of criticality level is an instance of integer
(domain defaultMaxValue 2 Integer) Merge.kif 17046-17046 The number 2 argument of defaultMaxValue is an instance of integer
(domain defaultMinValue 2 Integer) Merge.kif 17031-17031 The number 2 argument of defaultMinValue is an instance of integer
(domain defaultValue 2 Integer) Merge.kif 17061-17061 The number 2 argument of defaultValue is an instance of integer
(domain exactCardinality 2 Integer) Media.kif 2072-2072 The number 2 argument of exactCardinality is an instance of integer
(domain exactCardinality 3 Integer) Media.kif 2073-2073 The number 3 argument of exactCardinality is an instance of integer
(domain fleetSize 2 Integer) Mid-level-ontology.kif 4061-4061 The number 2 argument of Fleet Size is an instance of integer
(domain identityElement 2 Integer) Merge.kif 4964-4964 The number 2 argument of identity element is an instance of integer
(domain maxCardinality 2 Integer) Media.kif 2190-2190 The number 2 argument of maxCardinality is an instance of integer
(domain maxCardinality 3 Integer) Media.kif 2191-2191 The number 3 argument of maxCardinality is an instance of integer
(domain maxRoomCapacity 2 Integer) Hotel.kif 453-453 The number 2 argument of maximum capacity is an instance of integer
(domain maxValue 2 Integer) Merge.kif 17016-17016 The number 2 argument of maxValue 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 4842-4847
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5013-5015
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5009-5011
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5029-5031
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 4996-4998
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 4838-4840

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


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3238-3242
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 4666-4671


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners