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 5179-5179 势函数 的 range 是 整数 的实例
(range CeilingFn Integer) Merge.kif 4553-4553 顶整数函数 的 range 是 整数 的实例
(range DenominatorFn Integer) Merge.kif 4580-4580 分母函数 的 range 是 整数 的实例
(range FitForMilitaryServiceMaleFn Integer) Military.kif 883-883 适合兵役的男性 的 range 是 整数 的实例
(range FloorFn Integer) Merge.kif 4598-4598 底整数函数 的 range 是 整数 的实例
(range GreatestCommonDivisorFn Integer) Merge.kif 4616-4616 最大公因数函数 的 range 是 整数 的实例
(range LeastCommonMultipleFn Integer) Merge.kif 4689-4689 最小公倍数函数 的 range 是 整数 的实例
(range NumeratorFn Integer) Merge.kif 4783-4783 分子函数 的 range 是 整数 的实例
(range PopulationFn Integer) People.kif 30-30 人口 的 range 是 整数 的实例
(range PredecessorFn Integer) Merge.kif 5010-5010 前继数函数 的 range 是 整数 的实例
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 921-921 每年达到军龄的男性 的 range 是 整数 的实例
(range RemainderFn Integer) Merge.kif 4844-4844 余函数 的 range 是 整数 的实例
(range SignumFn Integer) Merge.kif 4898-4898 正或负值函数 的 range 是 整数 的实例
(range SuccessorFn Integer) Merge.kif 4977-4977 后继数函数 的 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 4589-4589 次幂函数 的 2 数量 是 整数 的 instance
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4617-4617 最大公因数函数 的 1 数量 是 整数 的 instance
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4690-4690 最小公倍数函数 的 1 数量 是 整数 的 instance
(domain PredecessorFn 1 Integer) Merge.kif 5009-5009 前继数函数 的 1 数量 是 整数 的 instance
(domain RemainderFn 1 Integer) Merge.kif 4842-4842 余函数 的 1 数量 是 整数 的 instance
(domain RemainderFn 2 Integer) Merge.kif 4843-4843 余函数 的 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 4976-4976 后继数函数 的 1 数量 是 整数 的 instance
(domain YearFn 1 Integer) Merge.kif 7982-7982 年函数 的 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 17036-17036 defaultMaxValue 的 2 数量 是 整数 的 instance
(domain defaultMinValue 2 Integer) Merge.kif 17021-17021 defaultMinValue 的 2 数量 是 整数 的 instance
(domain defaultValue 2 Integer) Merge.kif 17051-17051 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 4055-4055 fleetSize 的 2 数量 是 整数 的 instance
(domain identityElement 2 Integer) Merge.kif 4954-4954 单位元 的 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 17006-17006 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 4832-4837
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))		 Merge.kif 5003-5005
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))		 Merge.kif 4999-5001
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))		 Merge.kif 5019-5021
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))		 Merge.kif 4986-4988
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))		 Merge.kif 4828-4830

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


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))		 Merge.kif 3238-3242
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))		 Merge.kif 4656-4661


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