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 3123-3123
(documentation Integer EnglishLanguage "A negative or nonnegative whole number.") Merge.kif 3121-3121
(documentation Integer JapaneseLanguage "負または非負の整数。") Merge.kif 3125-3125
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 3119-3119
(partition Integer OddInteger EvenInteger) Merge.kif 3118-3118
(subclass Integer RationalNumber) Merge.kif 3117-3117

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 861-861
(range CardinalityFn Integer) Merge.kif 7958-7958
(range CeilingFn Integer) Merge.kif 7081-7081
(range DenominatorFn Integer) Merge.kif 7120-7120
(range FitForMilitaryServiceMaleFn Integer) Military.kif 883-883
(range FloorFn Integer) Merge.kif 7150-7150
(range GreatestCommonDivisorFn Integer) Merge.kif 7174-7174
(range LeastCommonMultipleFn Integer) Merge.kif 7273-7273
(range NumeratorFn Integer) Merge.kif 7391-7391
(range PopulationFn Integer) People.kif 30-30
(range PredecessorFn Integer) Merge.kif 7708-7708
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 921-921
(range RemainderFn Integer) Merge.kif 7493-7493
(range SignumFn Integer) Merge.kif 7560-7560
(range SuccessorFn Integer) Merge.kif 7669-7669
(subclass EvenInteger Integer) Merge.kif 3127-3127
(subclass NegativeInteger Integer) Merge.kif 3168-3168
(subclass NonnegativeInteger Integer) Merge.kif 3155-3155
(subclass OddInteger Integer) Merge.kif 3136-3136
(subclass PrimeNumber Integer) Merge.kif 3145-3145
(termFormat ChineseLanguage Integer "整数") chinese_format.kif 866-866
(termFormat EnglishLanguage Integer "integer") english_format.kif 1291-1291
(termFormat JapaneseLanguage Integer "整数") english_format.kif 1292-1292

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


(domain ExponentiationFn 2 Integer) Merge.kif 7135-7135
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 7175-7175
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 7274-7274
(domain PredecessorFn 1 Integer) Merge.kif 7707-7707
(domain RemainderFn 1 Integer) Merge.kif 7491-7491
(domain RemainderFn 2 Integer) Merge.kif 7492-7492
(domain SuccessorFn 1 Integer) Merge.kif 7668-7668
(domain YearFn 1 Integer) Merge.kif 12091-12091
(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 23204-23204
(domain defaultMinValue 2 Integer) Merge.kif 23189-23189
(domain defaultValue 2 Integer) Merge.kif 23219-23219
(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 7639-7639
(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 23173-23173
(domain memberCount 2 Integer) Mid-level-ontology.kif 20503-20503
(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 7481-7486
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 7701-7703
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 7697-7699
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 7723-7725
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 7684-7686
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 7477-7479

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


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 5133-5137
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 7228-7233


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