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

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


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