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 "这是一个负或非负的整数。") chinese_format.kif 1748-1748
(documentation Integer EnglishLanguage "A negative or nonnegative whole number.") Merge.kif 1866-1866
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1864-1864 整数 详尽无遗地 partition负整数非负整数
(partition Integer OddInteger EvenInteger) Merge.kif 1863-1863 整数 详尽无遗地 partition奇整数偶数
(subclass Integer RationalNumber) Merge.kif 1862-1862 整数有理数subclass

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 861-861 可用于兵役男性range整数 的实例
(range CardinalityFn Integer) Merge.kif 5220-5220 势函数range整数 的实例
(range CeilingFn Integer) Merge.kif 4594-4594 顶整数函数range整数 的实例
(range DenominatorFn Integer) Merge.kif 4621-4621 分母函数range整数 的实例
(range FitForMilitaryServiceMaleFn Integer) Military.kif 883-883 适合兵役的男性range整数 的实例
(range FloorFn Integer) Merge.kif 4639-4639 底整数函数range整数 的实例
(range GreatestCommonDivisorFn Integer) Merge.kif 4657-4657 最大公因数函数range整数 的实例
(range LeastCommonMultipleFn Integer) Merge.kif 4730-4730 最小公倍数函数range整数 的实例
(range NumeratorFn Integer) Merge.kif 4824-4824 分子函数range整数 的实例
(range PopulationFn Integer) People.kif 30-30 人口range整数 的实例
(range PredecessorFn Integer) Merge.kif 5051-5051 前继数函数range整数 的实例
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 921-921 每年达到军龄的男性range整数 的实例
(range RemainderFn Integer) Merge.kif 4885-4885 余函数range整数 的实例
(range SignumFn Integer) Merge.kif 4939-4939 正或负值函数range整数 的实例
(range SuccessorFn Integer) Merge.kif 5018-5018 后继数函数range整数 的实例
(subclass EvenInteger Integer) Merge.kif 1868-1868 偶数整数subclass
(subclass NegativeInteger Integer) Merge.kif 1893-1893 负整数整数subclass
(subclass NonnegativeInteger Integer) Merge.kif 1883-1883 非负整数整数subclass
(subclass OddInteger Integer) Merge.kif 1873-1873 奇整数整数subclass
(subclass PrimeNumber Integer) Merge.kif 1878-1878 素数整数subclass
(termFormat ChineseLanguage Integer "整数") chinese_format.kif 866-866
(termFormat EnglishLanguage Integer "integer") english_format.kif 939-939

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


(domain ExponentiationFn 2 Integer) Merge.kif 4630-4630 次幂函数 的 2 数量 是 整数instance
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4658-4658 最大公因数函数 的 1 数量 是 整数instance
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4731-4731 最小公倍数函数 的 1 数量 是 整数instance
(domain PredecessorFn 1 Integer) Merge.kif 5050-5050 前继数函数 的 1 数量 是 整数instance
(domain RemainderFn 1 Integer) Merge.kif 4883-4883 余函数 的 1 数量 是 整数instance
(domain RemainderFn 2 Integer) Merge.kif 4884-4884 余函数 的 2 数量 是 整数instance
(domain SubListFn 1 Integer) Merge.kif 3049-3049 SubListFn 的 1 数量 是 整数instance
(domain SubListFn 2 Integer) Merge.kif 3050-3050 SubListFn 的 2 数量 是 整数instance
(domain SuccessorFn 1 Integer) Merge.kif 5017-5017 后继数函数 的 1 数量 是 整数instance
(domain YearFn 1 Integer) Merge.kif 8015-8015 年函数 的 1 数量 是 整数instance
(domain capacityByArrangement 3 Integer) Hotel.kif 761-761 capacityByArrangement 的 3 数量 是 整数instance
(domain coilCount 2 Integer) Cars.kif 3088-3088 coilCount 的 2 数量 是 整数instance
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135 区域通信卫星 的 3 数量 是 整数instance
(domain criticalityLevel 2 Integer) QoSontology.kif 642-642 临界水平 的 2 数量 是 整数instance
(domain defaultMaxValue 2 Integer) Merge.kif 17063-17063 defaultMaxValue 的 2 数量 是 整数instance
(domain defaultMinValue 2 Integer) Merge.kif 17048-17048 defaultMinValue 的 2 数量 是 整数instance
(domain defaultValue 2 Integer) Merge.kif 17078-17078 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 4061-4061 fleetSize 的 2 数量 是 整数instance
(domain identityElement 2 Integer) Merge.kif 4995-4995 单位元 的 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 453-453 maxRoomCapacity 的 2 数量 是 整数instance
(domain maxValue 2 Integer) Merge.kif 17033-17033 maxValue 的 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 4873-4878
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5044-5046
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5040-5042
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5060-5062
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5027-5029
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 4869-4871

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


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3269-3273
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 4697-4702


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 3.0 is open source software produced by Articulate Software and its partners