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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Integer

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 "这是一个负或非负的整数。") Merge.kif 2030-2030
(documentation Integer EnglishLanguage "A negative or nonnegative whole number.") Merge.kif 2029-2029
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 2028-2028 Integer is exhaustively partitioned into negative integer and nonnegative integer
(partition Integer OddInteger EvenInteger) Merge.kif 2027-2027 Integer is exhaustively partitioned into odd integer and even integer
(subclass Integer RationalNumber) Merge.kif 2026-2026 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 5617-5617 The range of cardinality is an instance of integer
(range CeilingFn Integer) Merge.kif 4940-4940 The range of ceiling is an instance of integer
(range DenominatorFn Integer) Merge.kif 4969-4969 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 4989-4989 The range of floor is an instance of integer
(range GreatestCommonDivisorFn Integer) Merge.kif 5008-5008 The range of greatest common divisor is an instance of integer
(range LeastCommonMultipleFn Integer) Merge.kif 5087-5087 The range of least common multiple is an instance of integer
(range NumeratorFn Integer) Merge.kif 5186-5186 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 5427-5427 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 5254-5254 The range of remainder is an instance of integer
(range SignumFn Integer) Merge.kif 5310-5310 The range of signum is an instance of integer
(range SuccessorFn Integer) Merge.kif 5393-5393 The range of successor is an instance of integer
(subclass EvenInteger Integer) Merge.kif 2032-2032 Even integer is a subclass of integer
(subclass NegativeInteger Integer) Merge.kif 2057-2057 Negative integer is a subclass of integer
(subclass NonnegativeInteger Integer) Merge.kif 2047-2047 Nonnegative integer is a subclass of integer
(subclass OddInteger Integer) Merge.kif 2037-2037 Odd integer is a subclass of integer
(subclass PrimeNumber Integer) Merge.kif 2042-2042 Prime number is a subclass of integer
(termFormat ChineseLanguage Integer "整数") chinese_format.kif 866-866 "整数" is the printable form of integer in ChineseLanguage
(termFormat EnglishLanguage Integer "integer") english_format.kif 553-553 "integer" is the printable form of integer in english language

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


(domain ExponentiationFn 2 Integer) Merge.kif 4979-4979 The number 2 argument of exponentiation is an instance of integer
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 5009-5009 The number 1 argument of greatest common divisor is an instance of integer
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 5088-5088 The number 1 argument of least common multiple is an instance of integer
(domain PredecessorFn 1 Integer) Merge.kif 5426-5426 The number 1 argument of predecessor is an instance of integer
(domain RemainderFn 1 Integer) Merge.kif 5252-5252 The number 1 argument of remainder is an instance of integer
(domain RemainderFn 2 Integer) Merge.kif 5253-5253 The number 2 argument of remainder is an instance of integer
(domain SuccessorFn 1 Integer) Merge.kif 5392-5392 The number 1 argument of successor is an instance of integer
(domain YearFn 1 Integer) Merge.kif 8666-8666 The number 1 argument of year is an instance of integer
(domain capacityByArrangement 3 Integer) Hotel.kif 757-757 The number 3 argument of capacity by arrangement is an instance of integer
(domain coilCount 2 Integer) Cars.kif 3084-3084 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 640-640 The number 2 argument of criticality level is an instance of integer
(domain defaultMaxValue 2 Integer) Merge.kif 18832-18832 The number 2 argument of defaultMaxValue is an instance of integer
(domain defaultMinValue 2 Integer) Merge.kif 18817-18817 The number 2 argument of defaultMinValue is an instance of integer
(domain defaultValue 2 Integer) Merge.kif 18847-18847 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 4059-4059 The number 2 argument of Fleet Size is an instance of integer
(domain identityElement 2 Integer) Merge.kif 5369-5369 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 450-450 The number 2 argument of maximum capacity is an instance of integer
(domain maxValue 2 Integer) Merge.kif 18801-18801 The number 2 argument of maxValue is an instance of integer
(domain memberCount 2 Integer) Mid-level-ontology.kif 20502-20502 The number 2 argument of member count is an instance of integer
(domain minCardinality 2 Integer) Media.kif 2154-2154 The number 2 argument of minCardinality 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 5242-5247
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5420-5422
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5416-5418
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5437-5439
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5403-5405
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 5238-5240

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


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3482-3486
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 5052-5057


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