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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1906-1906
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1904-1904
(partition Integer OddInteger EvenInteger) Merge.kif 1903-1903
(subclass Integer RationalNumber) Merge.kif 1902-1902

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 866-866
(range CardinalityFn Integer) Merge.kif 5417-5417
(range CeilingFn Integer) Merge.kif 4696-4696
(range DenominatorFn Integer) Merge.kif 4723-4723
(range FitForMilitaryServiceMaleFn Integer) Military.kif 888-888
(range FloorFn Integer) Merge.kif 4741-4741
(range GreatestCommonDivisorFn Integer) Merge.kif 4759-4759
(range LeastCommonMultipleFn Integer) Merge.kif 4844-4844
(range NumeratorFn Integer) Merge.kif 4949-4949
(range PopulationFn Integer) People.kif 30-30
(range PredecessorFn Integer) Merge.kif 5243-5243
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 926-926
(range RemainderFn Integer) Merge.kif 5010-5010
(range SignumFn Integer) Merge.kif 5098-5098
(range SuccessorFn Integer) Merge.kif 5210-5210
(subclass EvenInteger Integer) Merge.kif 1908-1908
(subclass NegativeInteger Integer) Merge.kif 1933-1933
(subclass NonnegativeInteger Integer) Merge.kif 1923-1923
(subclass OddInteger Integer) Merge.kif 1913-1913
(subclass PrimeNumber Integer) Merge.kif 1918-1918
(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 4732-4732
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4760-4760
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4845-4845
(domain PredecessorFn 1 Integer) Merge.kif 5242-5242
(domain RemainderFn 1 Integer) Merge.kif 5008-5008
(domain RemainderFn 2 Integer) Merge.kif 5009-5009
(domain SubListFn 1 Integer) Merge.kif 3097-3097
(domain SubListFn 2 Integer) Merge.kif 3098-3098
(domain SuccessorFn 1 Integer) Merge.kif 5209-5209
(domain YearFn 1 Integer) Merge.kif 8465-8465
(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 642-642
(domain defaultMaxValue 2 Integer) Merge.kif 18174-18174
(domain defaultMinValue 2 Integer) Merge.kif 18157-18157
(domain defaultValue 2 Integer) Merge.kif 18191-18191
(domain exactCardinality 2 Integer) Media.kif 2056-2056
(domain exactCardinality 3 Integer) Media.kif 2057-2057
(domain fleetSize 2 Integer) Mid-level-ontology.kif 3483-3483
(domain heartRate 3 Integer) Mid-level-ontology.kif 9955-9955
(domain identityElement 2 Integer) Merge.kif 5187-5187
(domain maxCardinality 2 Integer) Media.kif 2180-2180
(domain maxCardinality 3 Integer) Media.kif 2181-2181
(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 4998-5003
(=>
    (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 30460-30475
(=>
    (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 30402-30412
(=>
    (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 30427-30442
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5236-5238
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5232-5234
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5252-5254
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5219-5221
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 4994-4996

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


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3328-3332
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 4811-4816


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