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 1871-1871
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1869-1869 partition Integer, NegativeInteger and NonnegativeInteger
(partition Integer OddInteger EvenInteger) Merge.kif 1868-1868 partition Integer, OddInteger and EvenInteger
(subclass Integer RationalNumber) Merge.kif 1867-1867 subclass Integer and RationalNumber

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 861-861 range AvailableForMilitaryServiceMaleFn and Integer
(range CardinalityFn Integer) Merge.kif 5227-5227 range CardinalityFn and Integer
(range CeilingFn Integer) Merge.kif 4601-4601 range CeilingFn and Integer
(range DenominatorFn Integer) Merge.kif 4628-4628 range DenominatorFn and Integer
(range FitForMilitaryServiceMaleFn Integer) Military.kif 883-883 range FitForMilitaryServiceMaleFn and Integer
(range FloorFn Integer) Merge.kif 4646-4646 range FloorFn and Integer
(range GreatestCommonDivisorFn Integer) Merge.kif 4664-4664 range GreatestCommonDivisorFn and Integer
(range LeastCommonMultipleFn Integer) Merge.kif 4737-4737 range LeastCommonMultipleFn and Integer
(range NumeratorFn Integer) Merge.kif 4831-4831 range NumeratorFn and Integer
(range PopulationFn Integer) People.kif 30-30 range PopulationFn and Integer
(range PredecessorFn Integer) Merge.kif 5058-5058 range PredecessorFn and Integer
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 921-921 range ReachingMilitaryAgeAnnuallyMaleFn and Integer
(range RemainderFn Integer) Merge.kif 4892-4892 range RemainderFn and Integer
(range SignumFn Integer) Merge.kif 4946-4946 range SignumFn and Integer
(range SuccessorFn Integer) Merge.kif 5025-5025 range SuccessorFn and Integer
(subclass EvenInteger Integer) Merge.kif 1873-1873 subclass EvenInteger and Integer
(subclass NegativeInteger Integer) Merge.kif 1898-1898 subclass NegativeInteger and Integer
(subclass NonnegativeInteger Integer) Merge.kif 1888-1888 subclass NonnegativeInteger and Integer
(subclass OddInteger Integer) Merge.kif 1878-1878 subclass OddInteger and Integer
(subclass PrimeNumber Integer) Merge.kif 1883-1883 subclass PrimeNumber and Integer
(termFormat ChineseLanguage Integer "整数") chinese_format.kif 866-866
(termFormat EnglishLanguage Integer "integer") english_format.kif 939-939

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


(domain ExponentiationFn 2 Integer) Merge.kif 4637-4637 domain ExponentiationFn, 2 and Integer
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4665-4665 domain GreatestCommonDivisorFn, 1 and Integer
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4738-4738 domain LeastCommonMultipleFn, 1 and Integer
(domain PredecessorFn 1 Integer) Merge.kif 5057-5057 domain PredecessorFn, 1 and Integer
(domain RemainderFn 1 Integer) Merge.kif 4890-4890 domain RemainderFn, 1 and Integer
(domain RemainderFn 2 Integer) Merge.kif 4891-4891 domain RemainderFn, 2 and Integer
(domain SubListFn 1 Integer) Merge.kif 3054-3054 domain SubListFn, 1 and Integer
(domain SubListFn 2 Integer) Merge.kif 3055-3055 domain SubListFn, 2 and Integer
(domain SuccessorFn 1 Integer) Merge.kif 5024-5024 domain SuccessorFn, 1 and Integer
(domain YearFn 1 Integer) Merge.kif 8029-8029 domain YearFn, 1 and Integer
(domain capacityByArrangement 3 Integer) Hotel.kif 761-761 domain capacityByArrangement, 3 and Integer
(domain coilCount 2 Integer) Cars.kif 3088-3088 domain coilCount, 2 and Integer
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135 domain communicationSatelliteForArea, 3 and Integer
(domain criticalityLevel 2 Integer) QoSontology.kif 642-642 domain criticalityLevel, 2 and Integer
(domain defaultMaxValue 2 Integer) Merge.kif 17106-17106 domain defaultMaxValue, 2 and Integer
(domain defaultMinValue 2 Integer) Merge.kif 17089-17089 domain defaultMinValue, 2 and Integer
(domain defaultValue 2 Integer) Merge.kif 17122-17122 domain defaultValue, 2 and Integer
(domain exactCardinality 2 Integer) Media.kif 2072-2072 domain exactCardinality, 2 and Integer
(domain exactCardinality 3 Integer) Media.kif 2073-2073 domain exactCardinality, 3 and Integer
(domain fleetSize 2 Integer) Mid-level-ontology.kif 4061-4061 domain fleetSize, 2 and Integer
(domain identityElement 2 Integer) Merge.kif 5002-5002 domain identityElement, 2 and Integer
(domain maxCardinality 2 Integer) Media.kif 2190-2190 domain maxCardinality, 2 and Integer
(domain maxCardinality 3 Integer) Media.kif 2191-2191 domain maxCardinality, 3 and Integer
(domain maxRoomCapacity 2 Integer) Hotel.kif 453-453 domain maxRoomCapacity, 2 and Integer
(domain maxValue 2 Integer) Merge.kif 17072-17072 domain maxValue, 2 and 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 4880-4885
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5051-5053
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5047-5049
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5067-5069
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5034-5036
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 4876-4878

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


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3274-3278
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 4704-4709


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