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

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 866-866 The range of available for military service male is an instance of integer
(range CardinalityFn Integer) Merge.kif 5409-5409 The range of cardinality is an instance of integer
(range CeilingFn Integer) Merge.kif 4688-4688 The range of ceiling is an instance of integer
(range DenominatorFn Integer) Merge.kif 4715-4715 The range of denominator is an instance of integer
(range FitForMilitaryServiceMaleFn Integer) Military.kif 888-888 The range of fit for military service male is an instance of integer
(range FloorFn Integer) Merge.kif 4733-4733 The range of floor is an instance of integer
(range GreatestCommonDivisorFn Integer) Merge.kif 4751-4751 The range of greatest common divisor is an instance of integer
(range LeastCommonMultipleFn Integer) Merge.kif 4836-4836 The range of least common multiple is an instance of integer
(range NumeratorFn Integer) Merge.kif 4941-4941 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 5235-5235 The range of predecessor is an instance of integer
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 926-926 The range of reaching military age annually male is an instance of integer
(range RemainderFn Integer) Merge.kif 5002-5002 The range of remainder is an instance of integer
(range SignumFn Integer) Merge.kif 5090-5090 The range of signum is an instance of integer
(range SuccessorFn Integer) Merge.kif 5202-5202 The range of successor is an instance of integer
(subclass EvenInteger Integer) Merge.kif 1900-1900 Even integer is a subclass of integer
(subclass NegativeInteger Integer) Merge.kif 1925-1925 Negative integer is a subclass of integer
(subclass NonnegativeInteger Integer) Merge.kif 1915-1915 Nonnegative integer is a subclass of integer
(subclass OddInteger Integer) Merge.kif 1905-1905 Odd integer is a subclass of integer
(subclass PrimeNumber Integer) Merge.kif 1910-1910 Prime number is a subclass of integer
(termFormat ChineseLanguage Integer "整数") chinese_format.kif 866-866
(termFormat EnglishLanguage Integer "integer") english_format.kif 934-934

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


(domain ExponentiationFn 2 Integer) Merge.kif 4724-4724 The number 2 argument of exponentiation is an instance of integer
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4752-4752 The number 1 argument of greatest common divisor is an instance of integer
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4837-4837 The number 1 argument of least common multiple is an instance of integer
(domain PredecessorFn 1 Integer) Merge.kif 5234-5234 The number 1 argument of predecessor is an instance of integer
(domain RemainderFn 1 Integer) Merge.kif 5000-5000 The number 1 argument of remainder is an instance of integer
(domain RemainderFn 2 Integer) Merge.kif 5001-5001 The number 2 argument of remainder is an instance of integer
(domain SubListFn 1 Integer) Merge.kif 3089-3089 The number 1 argument of sub-list function is an instance of integer
(domain SubListFn 2 Integer) Merge.kif 3090-3090 The number 2 argument of sub-list function is an instance of integer
(domain SuccessorFn 1 Integer) Merge.kif 5201-5201 The number 1 argument of successor is an instance of integer
(domain YearFn 1 Integer) Merge.kif 8457-8457 The number 1 argument of year is an instance of integer
(domain capacityByArrangement 3 Integer) Hotel.kif 767-767 The number 3 argument of capacity by arrangement is an instance of integer
(domain coilCount 2 Integer) Cars.kif 3113-3113 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 18167-18167 The number 2 argument of defaultMaxValue is an instance of integer
(domain defaultMinValue 2 Integer) Merge.kif 18150-18150 The number 2 argument of defaultMinValue is an instance of integer
(domain defaultValue 2 Integer) Merge.kif 18184-18184 The number 2 argument of defaultValue is an instance of integer
(domain exactCardinality 2 Integer) Media.kif 2068-2068 The number 2 argument of exactCardinality is an instance of integer
(domain exactCardinality 3 Integer) Media.kif 2069-2069 The number 3 argument of exactCardinality is an instance of integer
(domain fleetSize 2 Integer) Mid-level-ontology.kif 3474-3474 The number 2 argument of Fleet Size is an instance of integer
(domain heartRate 3 Integer) Mid-level-ontology.kif 9905-9905 The number 3 argument of heartRate is an instance of integer
(domain identityElement 2 Integer) Merge.kif 5179-5179 The number 2 argument of identity element is an instance of integer
(domain maxCardinality 2 Integer) Media.kif 2186-2186 The number 2 argument of maxCardinality is an instance of integer
(domain maxCardinality 3 Integer) Media.kif 2187-2187 The number 3 argument of maxCardinality is an instance of integer
(domain maxRoomCapacity 2 Integer) Hotel.kif 457-457 The number 2 argument of maximum capacity 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 4990-4995
(=>
    (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 30332-30347
(=>
    (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 30276-30286
(=>
    (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 30299-30314
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5228-5230
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5224-5226
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5244-5246
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5211-5213
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 4986-4988

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


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3320-3324
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 4803-4808


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