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 "这是一个负或非负的整数。") Merge.kif 2030-2030
(documentation Integer EnglishLanguage "A negative or nonnegative whole number.") Merge.kif 2029-2029
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 2028-2028
(partition Integer OddInteger EvenInteger) Merge.kif 2027-2027
(subclass Integer RationalNumber) Merge.kif 2026-2026

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 861-861
(range CardinalityFn Integer) Merge.kif 5617-5617
(range CeilingFn Integer) Merge.kif 4940-4940
(range DenominatorFn Integer) Merge.kif 4969-4969
(range FitForMilitaryServiceMaleFn Integer) Military.kif 883-883
(range FloorFn Integer) Merge.kif 4989-4989
(range GreatestCommonDivisorFn Integer) Merge.kif 5008-5008
(range LeastCommonMultipleFn Integer) Merge.kif 5087-5087
(range NumeratorFn Integer) Merge.kif 5186-5186
(range PopulationFn Integer) People.kif 30-30
(range PredecessorFn Integer) Merge.kif 5427-5427
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 921-921
(range RemainderFn Integer) Merge.kif 5254-5254
(range SignumFn Integer) Merge.kif 5310-5310
(range SuccessorFn Integer) Merge.kif 5393-5393
(subclass EvenInteger Integer) Merge.kif 2032-2032
(subclass NegativeInteger Integer) Merge.kif 2057-2057
(subclass NonnegativeInteger Integer) Merge.kif 2047-2047
(subclass OddInteger Integer) Merge.kif 2037-2037
(subclass PrimeNumber Integer) Merge.kif 2042-2042
(termFormat ChineseLanguage Integer "整数") chinese_format.kif 866-866
(termFormat EnglishLanguage Integer "integer") english_format.kif 553-553

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


(domain ExponentiationFn 2 Integer) Merge.kif 4979-4979
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 5009-5009
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 5088-5088
(domain PredecessorFn 1 Integer) Merge.kif 5426-5426
(domain RemainderFn 1 Integer) Merge.kif 5252-5252
(domain RemainderFn 2 Integer) Merge.kif 5253-5253
(domain SuccessorFn 1 Integer) Merge.kif 5392-5392
(domain YearFn 1 Integer) Merge.kif 8666-8666
(domain capacityByArrangement 3 Integer) Hotel.kif 757-757
(domain coilCount 2 Integer) Cars.kif 3084-3084
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135
(domain criticalityLevel 2 Integer) QoSontology.kif 640-640
(domain defaultMaxValue 2 Integer) Merge.kif 18832-18832
(domain defaultMinValue 2 Integer) Merge.kif 18817-18817
(domain defaultValue 2 Integer) Merge.kif 18847-18847
(domain exactCardinality 2 Integer) Media.kif 2072-2072
(domain exactCardinality 3 Integer) Media.kif 2073-2073
(domain fleetSize 2 Integer) Mid-level-ontology.kif 4059-4059
(domain identityElement 2 Integer) Merge.kif 5369-5369
(domain maxCardinality 2 Integer) Media.kif 2190-2190
(domain maxCardinality 3 Integer) Media.kif 2191-2191
(domain maxRoomCapacity 2 Integer) Hotel.kif 450-450
(domain maxValue 2 Integer) Merge.kif 18801-18801
(domain memberCount 2 Integer) Mid-level-ontology.kif 20502-20502
(domain minCardinality 2 Integer) Media.kif 2154-2154

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 5242-5247
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5420-5422
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5416-5418
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5437-5439
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5403-5405
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 5238-5240

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


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3482-3486
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 5052-5057


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