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

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 866-866 可用于兵役男性range整数 的实例
(range CardinalityFn Integer) Merge.kif 5417-5417 势函数range整数 的实例
(range CeilingFn Integer) Merge.kif 4696-4696 顶整数函数range整数 的实例
(range DenominatorFn Integer) Merge.kif 4723-4723 分母函数range整数 的实例
(range FitForMilitaryServiceMaleFn Integer) Military.kif 888-888 适合兵役的男性range整数 的实例
(range FloorFn Integer) Merge.kif 4741-4741 底整数函数range整数 的实例
(range GreatestCommonDivisorFn Integer) Merge.kif 4759-4759 最大公因数函数range整数 的实例
(range LeastCommonMultipleFn Integer) Merge.kif 4844-4844 最小公倍数函数range整数 的实例
(range NumeratorFn Integer) Merge.kif 4949-4949 分子函数range整数 的实例
(range PopulationFn Integer) People.kif 30-30 人口range整数 的实例
(range PredecessorFn Integer) Merge.kif 5243-5243 前继数函数range整数 的实例
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 926-926 每年达到军龄的男性range整数 的实例
(range RemainderFn Integer) Merge.kif 5010-5010 余函数range整数 的实例
(range SignumFn Integer) Merge.kif 5098-5098 正或负值函数range整数 的实例
(range SuccessorFn Integer) Merge.kif 5210-5210 后继数函数range整数 的实例
(subclass EvenInteger Integer) Merge.kif 1908-1908 偶数整数subclass
(subclass NegativeInteger Integer) Merge.kif 1933-1933 负整数整数subclass
(subclass NonnegativeInteger Integer) Merge.kif 1923-1923 非负整数整数subclass
(subclass OddInteger Integer) Merge.kif 1913-1913 奇整数整数subclass
(subclass PrimeNumber Integer) Merge.kif 1918-1918 素数整数subclass
(termFormat ChineseLanguage Integer "整数") chinese_format.kif 866-866
(termFormat EnglishLanguage Integer "integer") english_format.kif 934-934

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


(domain ExponentiationFn 2 Integer) Merge.kif 4732-4732 次幂函数 的 2 数量 是 整数instance
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4760-4760 最大公因数函数 的 1 数量 是 整数instance
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4845-4845 最小公倍数函数 的 1 数量 是 整数instance
(domain PredecessorFn 1 Integer) Merge.kif 5242-5242 前继数函数 的 1 数量 是 整数instance
(domain RemainderFn 1 Integer) Merge.kif 5008-5008 余函数 的 1 数量 是 整数instance
(domain RemainderFn 2 Integer) Merge.kif 5009-5009 余函数 的 2 数量 是 整数instance
(domain SubListFn 1 Integer) Merge.kif 3097-3097 SubListFn 的 1 数量 是 整数instance
(domain SubListFn 2 Integer) Merge.kif 3098-3098 SubListFn 的 2 数量 是 整数instance
(domain SuccessorFn 1 Integer) Merge.kif 5209-5209 后继数函数 的 1 数量 是 整数instance
(domain YearFn 1 Integer) Merge.kif 8465-8465 年函数 的 1 数量 是 整数instance
(domain capacityByArrangement 3 Integer) Hotel.kif 788-788 capacityByArrangement 的 3 数量 是 整数instance
(domain coilCount 2 Integer) Cars.kif 3113-3113 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 18174-18174 defaultMaxValue 的 2 数量 是 整数instance
(domain defaultMinValue 2 Integer) Merge.kif 18157-18157 defaultMinValue 的 2 数量 是 整数instance
(domain defaultValue 2 Integer) Merge.kif 18191-18191 defaultValue 的 2 数量 是 整数instance
(domain exactCardinality 2 Integer) Media.kif 2056-2056 exactCardinality 的 2 数量 是 整数instance
(domain exactCardinality 3 Integer) Media.kif 2057-2057 exactCardinality 的 3 数量 是 整数instance
(domain fleetSize 2 Integer) Mid-level-ontology.kif 3483-3483 fleetSize 的 2 数量 是 整数instance
(domain heartRate 3 Integer) Mid-level-ontology.kif 9955-9955 heartRate 的 3 数量 是 整数instance
(domain identityElement 2 Integer) Merge.kif 5187-5187 单位元 的 2 数量 是 整数instance
(domain maxCardinality 2 Integer) Media.kif 2180-2180 maxCardinality 的 2 数量 是 整数instance
(domain maxCardinality 3 Integer) Media.kif 2181-2181 maxCardinality 的 3 数量 是 整数instance
(domain maxRoomCapacity 2 Integer) Hotel.kif 477-477 maxRoomCapacity 的 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 4998-5003
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (desires ?A
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30460-30475
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (desires ?A
        (exists (?G)
            (and
                (instance ?G Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30402-30412
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (not
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30427-30442
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5236-5238
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5232-5234
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5252-5254
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5219-5221
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 4994-4996

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


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3328-3332
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 4811-4816


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