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 1958-1958
(documentation Integer JapaneseLanguage "負または非負の整数。") japanese_format.kif 356-356
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1956-1956 整数 详尽无遗地 partition负整数非负整数
(partition Integer OddInteger EvenInteger) Merge.kif 1955-1955 整数 详尽无遗地 partition奇整数偶数
(subclass Integer RationalNumber) Merge.kif 1954-1954 整数有理数subclass

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 857-857 可用于兵役男性range整数 的实例
(range CardinalityFn Integer) Merge.kif 5510-5510 势函数range整数 的实例
(range CeilingFn Integer) Merge.kif 4785-4785 顶整数函数range整数 的实例
(range DenominatorFn Integer) Merge.kif 4812-4812 分母函数range整数 的实例
(range FitForMilitaryServiceMaleFn Integer) Military.kif 879-879 适合兵役的男性range整数 的实例
(range FloorFn Integer) Merge.kif 4830-4830 底整数函数range整数 的实例
(range GreatestCommonDivisorFn Integer) Merge.kif 4848-4848 最大公因数函数range整数 的实例
(range LeastCommonMultipleFn Integer) Merge.kif 4933-4933 最小公倍数函数range整数 的实例
(range NumeratorFn Integer) Merge.kif 5038-5038 分子函数range整数 的实例
(range PopulationFn Integer) Mid-level-ontology.kif 31725-31725 人口range整数 的实例
(range PredecessorFn Integer) Merge.kif 5336-5336 前继数函数range整数 的实例
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 917-917 每年达到军龄的男性range整数 的实例
(range RemainderFn Integer) Merge.kif 5099-5099 余函数range整数 的实例
(range SignumFn Integer) Merge.kif 5191-5191 正或负值函数range整数 的实例
(range SuccessorFn Integer) Merge.kif 5303-5303 后继数函数range整数 的实例
(subclass EvenInteger Integer) Merge.kif 1960-1960 偶数整数subclass
(subclass NegativeInteger Integer) Merge.kif 1985-1985 负整数整数subclass
(subclass NonnegativeInteger Integer) Merge.kif 1975-1975 非负整数整数subclass
(subclass OddInteger Integer) Merge.kif 1965-1965 奇整数整数subclass
(subclass PrimeNumber Integer) Merge.kif 1970-1970 素数整数subclass
(termFormat ChineseLanguage Integer "整数") chinese_format.kif 866-866
(termFormat EnglishLanguage Integer "integer") english_format.kif 934-934
(termFormat FrenchLanguage Integer "nombre entier") french_format.kif 542-542
(termFormat Hindi Integer "pUrNaanka") terms-hindi.txt 72-72

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain ExponentiationFn 2 Integer) Merge.kif 4821-4821 次幂函数 的 2 数量 是 整数instance
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4849-4849 最大公因数函数 的 1 数量 是 整数instance
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4934-4934 最小公倍数函数 的 1 数量 是 整数instance
(domain PredecessorFn 1 Integer) Merge.kif 5335-5335 前继数函数 的 1 数量 是 整数instance
(domain RemainderFn 1 Integer) Merge.kif 5097-5097 余函数 的 1 数量 是 整数instance
(domain RemainderFn 2 Integer) Merge.kif 5098-5098 余函数 的 2 数量 是 整数instance
(domain SubListFn 1 Integer) Merge.kif 3162-3162 SubListFn 的 1 数量 是 整数instance
(domain SubListFn 2 Integer) Merge.kif 3163-3163 SubListFn 的 2 数量 是 整数instance
(domain SuccessorFn 1 Integer) Merge.kif 5302-5302 后继数函数 的 1 数量 是 整数instance
(domain YearFn 1 Integer) Merge.kif 8591-8591 年函数 的 1 数量 是 整数instance
(domain airQualityIndex 2 Integer) Weather.kif 3076-3076 airQualityIndex 的 2 数量 是 整数instance
(domain breathingRate 3 Integer) Mid-level-ontology.kif 10406-10406 breathingRate 的 3 数量 是 整数instance
(domain capacityByArrangement 3 Integer) Hotel.kif 788-788 capacityByArrangement 的 3 数量 是 整数instance
(domain chromosomeNumber 2 Integer) VirusProteinAndCellPart.kif 698-698 chromosomeNumber 的 2 数量 是 整数instance
(domain chromosomeSetCount 3 Integer) VirusProteinAndCellPart.kif 824-824 chromosomeSetCount 的 3 数量 是 整数instance
(domain coilCount 2 Integer) Cars.kif 3097-3097 coilCount 的 2 数量 是 整数instance
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135 区域通信卫星 的 3 数量 是 整数instance
(domain criticalityLevel 2 Integer) QoSontology.kif 644-644 临界水平 的 2 数量 是 整数instance
(domain defaultMaxValue 2 Integer) Merge.kif 18520-18520 defaultMaxValue 的 2 数量 是 整数instance
(domain defaultMinValue 2 Integer) Merge.kif 18503-18503 defaultMinValue 的 2 数量 是 整数instance
(domain defaultValue 2 Integer) Merge.kif 18537-18537 defaultValue 的 2 数量 是 整数instance
(domain exactCardinality 2 Integer) Media.kif 2070-2070 exactCardinality 的 2 数量 是 整数instance
(domain exactCardinality 3 Integer) Media.kif 2071-2071 exactCardinality 的 3 数量 是 整数instance
(domain fleetSize 2 Integer) Mid-level-ontology.kif 3515-3515 fleetSize 的 2 数量 是 整数instance
(domain haploidNumber 2 Integer) VirusProteinAndCellPart.kif 789-789 haploidNumber 的 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 5087-5092
(=>
    (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 30980-30995
(=>
    (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 30922-30932
(=>
    (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 30947-30962
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5329-5331
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5325-5327
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5345-5347
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5312-5314
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 5083-5085

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


(=>
    (and
        (birthdate ?A ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (birthday ?A ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))
Mid-level-ontology.kif 24293-24303
(=>
    (and
        (instance ?MIT BarMitzvah)
        (patient ?MIT ?X)
        (instance ?X Boy)
        (member ?X ?GROUP)
        (instance ?GROUP Judaism)
        (birthdate ?X ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?Y13 ?BD13)
        (and
            (instance ?Y13 Integer)
            (equal ?Y13
                (AdditionFn ?Y 13))
            (instance ?BD13
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y13))))
            (equal
                (WhenFn ?MIT)
                (ImmediateFutureFn ?BD13)))))
Biography.kif 69-85
(=>
    (and
        (instance ?MIT BatMitzvah)
        (patient ?MIT ?X)
        (instance ?X Girl)
        (member ?X ?GROUP)
        (instance ?GROUP Judaism)
        (birthdate ?X ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?Y13 ?BD13)
        (and
            (instance ?Y13 Integer)
            (equal ?Y13
                (AdditionFn ?Y 13))
            (instance ?BD13
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y13))))
            (equal
                (WhenFn ?MIT)
                (ImmediateFutureFn ?BD13)))))
Biography.kif 99-115
(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3393-3397
(=>
    (and
        (instance ?WED Wedding)
        (date ?WED ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (weddingAnniversary ?WED ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))
Mid-level-ontology.kif 24252-24263
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 4900-4905


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