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 1866-1866
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1864-1864
(partition Integer OddInteger EvenInteger) Merge.kif 1863-1863
(subclass Integer RationalNumber) Merge.kif 1862-1862

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 861-861
(range CardinalityFn Integer) Merge.kif 5179-5179
(range CeilingFn Integer) Merge.kif 4553-4553
(range DenominatorFn Integer) Merge.kif 4580-4580
(range FitForMilitaryServiceMaleFn Integer) Military.kif 883-883
(range FloorFn Integer) Merge.kif 4598-4598
(range GreatestCommonDivisorFn Integer) Merge.kif 4616-4616
(range LeastCommonMultipleFn Integer) Merge.kif 4689-4689
(range NumeratorFn Integer) Merge.kif 4783-4783
(range PopulationFn Integer) People.kif 30-30
(range PredecessorFn Integer) Merge.kif 5010-5010
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 921-921
(range RemainderFn Integer) Merge.kif 4844-4844
(range SignumFn Integer) Merge.kif 4898-4898
(range SuccessorFn Integer) Merge.kif 4977-4977
(subclass EvenInteger Integer) Merge.kif 1868-1868
(subclass NegativeInteger Integer) Merge.kif 1893-1893
(subclass NonnegativeInteger Integer) Merge.kif 1883-1883
(subclass OddInteger Integer) Merge.kif 1873-1873
(subclass PrimeNumber Integer) Merge.kif 1878-1878
(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 4589-4589
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4617-4617
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4690-4690
(domain PredecessorFn 1 Integer) Merge.kif 5009-5009
(domain RemainderFn 1 Integer) Merge.kif 4842-4842
(domain RemainderFn 2 Integer) Merge.kif 4843-4843
(domain SubListFn 1 Integer) Merge.kif 3049-3049
(domain SubListFn 2 Integer) Merge.kif 3050-3050
(domain SuccessorFn 1 Integer) Merge.kif 4976-4976
(domain YearFn 1 Integer) Merge.kif 7982-7982
(domain capacityByArrangement 3 Integer) Hotel.kif 761-761
(domain coilCount 2 Integer) Cars.kif 3088-3088
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135
(domain criticalityLevel 2 Integer) QoSontology.kif 642-642
(domain defaultMaxValue 2 Integer) Merge.kif 17036-17036
(domain defaultMinValue 2 Integer) Merge.kif 17021-17021
(domain defaultValue 2 Integer) Merge.kif 17051-17051
(domain exactCardinality 2 Integer) Media.kif 2072-2072
(domain exactCardinality 3 Integer) Media.kif 2073-2073
(domain fleetSize 2 Integer) Mid-level-ontology.kif 4055-4055
(domain identityElement 2 Integer) Merge.kif 4954-4954
(domain maxCardinality 2 Integer) Media.kif 2190-2190
(domain maxCardinality 3 Integer) Media.kif 2191-2191
(domain maxRoomCapacity 2 Integer) Hotel.kif 453-453
(domain maxValue 2 Integer) Merge.kif 17006-17006

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 4832-4837
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5003-5005
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 4999-5001
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5019-5021
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 4986-4988
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 4828-4830

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


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3238-3242
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 4656-4661


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners