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 "这是一个负或非负的整数。") 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 659-659
(termFormat JapaneseLanguage Integer "整数") english_format.kif 660-660

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