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负整数非负整数
(partition Integer OddInteger EvenInteger) Merge.kif 2027-2027 整数 详尽无遗地 partition奇整数偶数
(subclass Integer RationalNumber) Merge.kif 2026-2026 整数有理数subclass

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 861-861 AvailableForMilitaryServiceMaleFnrange整数 的实例
(range CardinalityFn Integer) Merge.kif 5617-5617 势函数range整数 的实例
(range CeilingFn Integer) Merge.kif 4940-4940 顶整数函数range整数 的实例
(range DenominatorFn Integer) Merge.kif 4969-4969 分母函数range整数 的实例
(range FitForMilitaryServiceMaleFn Integer) Military.kif 883-883 FitForMilitaryServiceMaleFnrange整数 的实例
(range FloorFn Integer) Merge.kif 4989-4989 底整数函数range整数 的实例
(range GreatestCommonDivisorFn Integer) Merge.kif 5008-5008 最大公因数函数range整数 的实例
(range LeastCommonMultipleFn Integer) Merge.kif 5087-5087 最小公倍数函数range整数 的实例
(range NumeratorFn Integer) Merge.kif 5186-5186 分子函数range整数 的实例
(range PopulationFn Integer) People.kif 30-30 PopulationFnrange整数 的实例
(range PredecessorFn Integer) Merge.kif 5427-5427 前继数函数range整数 的实例
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 921-921 ReachingMilitaryAgeAnnuallyMaleFnrange整数 的实例
(range RemainderFn Integer) Merge.kif 5254-5254 余函数range整数 的实例
(range SignumFn Integer) Merge.kif 5310-5310 正或负值函数range整数 的实例
(range SuccessorFn Integer) Merge.kif 5393-5393 后继数函数range整数 的实例
(subclass EvenInteger Integer) Merge.kif 2032-2032 偶数整数subclass
(subclass NegativeInteger Integer) Merge.kif 2057-2057 负整数整数subclass
(subclass NonnegativeInteger Integer) Merge.kif 2047-2047 非负整数整数subclass
(subclass OddInteger Integer) Merge.kif 2037-2037 奇整数整数subclass
(subclass PrimeNumber Integer) Merge.kif 2042-2042 素数整数subclass
(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 次幂函数 的 2 数量 是 整数instance
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 5009-5009 最大公因数函数 的 1 数量 是 整数instance
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 5088-5088 最小公倍数函数 的 1 数量 是 整数instance
(domain PredecessorFn 1 Integer) Merge.kif 5426-5426 前继数函数 的 1 数量 是 整数instance
(domain RemainderFn 1 Integer) Merge.kif 5252-5252 余函数 的 1 数量 是 整数instance
(domain RemainderFn 2 Integer) Merge.kif 5253-5253 余函数 的 2 数量 是 整数instance
(domain SuccessorFn 1 Integer) Merge.kif 5392-5392 后继数函数 的 1 数量 是 整数instance
(domain YearFn 1 Integer) Merge.kif 8666-8666 年函数 的 1 数量 是 整数instance
(domain capacityByArrangement 3 Integer) Hotel.kif 757-757 capacityByArrangement 的 3 数量 是 整数instance
(domain coilCount 2 Integer) Cars.kif 3084-3084 coilCount 的 2 数量 是 整数instance
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135 communicationSatelliteForArea 的 3 数量 是 整数instance
(domain criticalityLevel 2 Integer) QoSontology.kif 640-640 criticalityLevel 的 2 数量 是 整数instance
(domain defaultMaxValue 2 Integer) Merge.kif 18832-18832 defaultMaxValue 的 2 数量 是 整数instance
(domain defaultMinValue 2 Integer) Merge.kif 18817-18817 defaultMinValue 的 2 数量 是 整数instance
(domain defaultValue 2 Integer) Merge.kif 18847-18847 defaultValue 的 2 数量 是 整数instance
(domain exactCardinality 2 Integer) Media.kif 2072-2072 exactCardinality 的 2 数量 是 整数instance
(domain exactCardinality 3 Integer) Media.kif 2073-2073 exactCardinality 的 3 数量 是 整数instance
(domain fleetSize 2 Integer) Mid-level-ontology.kif 4059-4059 fleetSize 的 2 数量 是 整数instance
(domain identityElement 2 Integer) Merge.kif 5369-5369 单位元 的 2 数量 是 整数instance
(domain maxCardinality 2 Integer) Media.kif 2190-2190 maxCardinality 的 2 数量 是 整数instance
(domain maxCardinality 3 Integer) Media.kif 2191-2191 maxCardinality 的 3 数量 是 整数instance
(domain maxRoomCapacity 2 Integer) Hotel.kif 450-450 maxRoomCapacity 的 2 数量 是 整数instance
(domain maxValue 2 Integer) Merge.kif 18801-18801 maxValue 的 2 数量 是 整数instance
(domain memberCount 2 Integer) Mid-level-ontology.kif 20502-20502 memberCount 的 2 数量 是 整数instance
(domain minCardinality 2 Integer) Media.kif 2154-2154 minCardinality 的 2 数量 是 整数instance

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