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 1898-1898
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1896-1896
(partition Integer OddInteger EvenInteger) Merge.kif 1895-1895
(subclass Integer RationalNumber) Merge.kif 1894-1894

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 866-866
(range CardinalityFn Integer) Merge.kif 5409-5409
(range CeilingFn Integer) Merge.kif 4688-4688
(range DenominatorFn Integer) Merge.kif 4715-4715
(range FitForMilitaryServiceMaleFn Integer) Military.kif 888-888
(range FloorFn Integer) Merge.kif 4733-4733
(range GreatestCommonDivisorFn Integer) Merge.kif 4751-4751
(range LeastCommonMultipleFn Integer) Merge.kif 4836-4836
(range NumeratorFn Integer) Merge.kif 4941-4941
(range PopulationFn Integer) People.kif 30-30
(range PredecessorFn Integer) Merge.kif 5235-5235
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 926-926
(range RemainderFn Integer) Merge.kif 5002-5002
(range SignumFn Integer) Merge.kif 5090-5090
(range SuccessorFn Integer) Merge.kif 5202-5202
(subclass EvenInteger Integer) Merge.kif 1900-1900
(subclass NegativeInteger Integer) Merge.kif 1925-1925
(subclass NonnegativeInteger Integer) Merge.kif 1915-1915
(subclass OddInteger Integer) Merge.kif 1905-1905
(subclass PrimeNumber Integer) Merge.kif 1910-1910
(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
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4752-4752
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4837-4837
(domain PredecessorFn 1 Integer) Merge.kif 5234-5234
(domain RemainderFn 1 Integer) Merge.kif 5000-5000
(domain RemainderFn 2 Integer) Merge.kif 5001-5001
(domain SubListFn 1 Integer) Merge.kif 3089-3089
(domain SubListFn 2 Integer) Merge.kif 3090-3090
(domain SuccessorFn 1 Integer) Merge.kif 5201-5201
(domain YearFn 1 Integer) Merge.kif 8457-8457
(domain capacityByArrangement 3 Integer) Hotel.kif 767-767
(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 18167-18167
(domain defaultMinValue 2 Integer) Merge.kif 18150-18150
(domain defaultValue 2 Integer) Merge.kif 18184-18184
(domain exactCardinality 2 Integer) Media.kif 2068-2068
(domain exactCardinality 3 Integer) Media.kif 2069-2069
(domain fleetSize 2 Integer) Mid-level-ontology.kif 3474-3474
(domain heartRate 3 Integer) Mid-level-ontology.kif 9905-9905
(domain identityElement 2 Integer) Merge.kif 5179-5179
(domain maxCardinality 2 Integer) Media.kif 2186-2186
(domain maxCardinality 3 Integer) Media.kif 2187-2187
(domain maxRoomCapacity 2 Integer) Hotel.kif 457-457

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