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 整数, 負の整数 and 非負整数
(partition Integer OddInteger EvenInteger) Merge.kif 2027-2027 partition 整数, 奇数の整数 and 偶数の整数
(subclass Integer RationalNumber) Merge.kif 2026-2026 subclass 整数 and 有理数

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


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

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


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

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