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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Integer

Sigma KEE - Integer
Integer

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


(documentation Integer ChineseLanguage "这是一个负或非负的整数。") chinese_format.kif 1748-1748
(documentation Integer EnglishLanguage "A negative or nonnegative whole number.") Merge.kif 1935-1935
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1933-1933
(partition Integer OddInteger EvenInteger) Merge.kif 1932-1932
(subclass Integer RationalNumber) Merge.kif 1931-1931

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 866-866
(range CardinalityFn Integer) Merge.kif 5476-5476
(range CeilingFn Integer) Merge.kif 4755-4755
(range DenominatorFn Integer) Merge.kif 4782-4782
(range FitForMilitaryServiceMaleFn Integer) Military.kif 888-888
(range FloorFn Integer) Merge.kif 4800-4800
(range GreatestCommonDivisorFn Integer) Merge.kif 4818-4818
(range LeastCommonMultipleFn Integer) Merge.kif 4903-4903
(range NumeratorFn Integer) Merge.kif 5008-5008
(range PopulationFn Integer) People.kif 30-30
(range PredecessorFn Integer) Merge.kif 5302-5302
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 926-926
(range RemainderFn Integer) Merge.kif 5069-5069
(range SignumFn Integer) Merge.kif 5157-5157
(range SuccessorFn Integer) Merge.kif 5269-5269
(subclass EvenInteger Integer) Merge.kif 1937-1937
(subclass NegativeInteger Integer) Merge.kif 1962-1962
(subclass NonnegativeInteger Integer) Merge.kif 1952-1952
(subclass OddInteger Integer) Merge.kif 1942-1942
(subclass PrimeNumber Integer) Merge.kif 1947-1947
(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 4791-4791
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4819-4819
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4904-4904
(domain PredecessorFn 1 Integer) Merge.kif 5301-5301
(domain RemainderFn 1 Integer) Merge.kif 5067-5067
(domain RemainderFn 2 Integer) Merge.kif 5068-5068
(domain SubListFn 1 Integer) Merge.kif 3138-3138
(domain SubListFn 2 Integer) Merge.kif 3139-3139
(domain SuccessorFn 1 Integer) Merge.kif 5268-5268
(domain YearFn 1 Integer) Merge.kif 8520-8520
(domain capacityByArrangement 3 Integer) Hotel.kif 788-788
(domain coilCount 2 Integer) Cars.kif 3113-3113
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135
(domain criticalityLevel 2 Integer) QoSontology.kif 644-644
(domain defaultMaxValue 2 Integer) Merge.kif 18278-18278
(domain defaultMinValue 2 Integer) Merge.kif 18261-18261
(domain defaultValue 2 Integer) Merge.kif 18295-18295
(domain exactCardinality 2 Integer) Media.kif 2070-2070
(domain exactCardinality 3 Integer) Media.kif 2071-2071
(domain fleetSize 2 Integer) Mid-level-ontology.kif 3487-3487
(domain heartRate 3 Integer) Mid-level-ontology.kif 10266-10266
(domain identityElement 2 Integer) Merge.kif 5246-5246
(domain maxCardinality 2 Integer) Media.kif 2194-2194
(domain maxCardinality 3 Integer) Media.kif 2195-2195
(domain maxRoomCapacity 2 Integer) Hotel.kif 477-477

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 5057-5062
(=>
    (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 30872-30887
(=>
    (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 30814-30824
(=>
    (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 30839-30854
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5295-5297
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5291-5293
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5311-5313
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5278-5280
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 5053-5055

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


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3369-3373
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 4870-4875


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 3.0 is open source software produced by Articulate Software and its partners