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 "这是一个负或非负的整数。") 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 5504-5504 势函数 的 range 是 整数 的实例
(range CeilingFn Integer) Merge.kif 4782-4782 顶整数函数 的 range 是 整数 的实例
(range DenominatorFn Integer) Merge.kif 4809-4809 分母函数 的 range 是 整数 的实例
(range FitForMilitaryServiceMaleFn Integer) Military.kif 879-879 适合兵役的男性 的 range 是 整数 的实例
(range FloorFn Integer) Merge.kif 4827-4827 底整数函数 的 range 是 整数 的实例
(range GreatestCommonDivisorFn Integer) Merge.kif 4845-4845 最大公因数函数 的 range 是 整数 的实例
(range LeastCommonMultipleFn Integer) Merge.kif 4930-4930 最小公倍数函数 的 range 是 整数 的实例
(range NumeratorFn Integer) Merge.kif 5035-5035 分子函数 的 range 是 整数 的实例
(range PopulationFn Integer) Mid-level-ontology.kif 31990-31990 人口 的 range 是 整数 的实例
(range PredecessorFn Integer) Merge.kif 5333-5333 前继数函数 的 range 是 整数 的实例
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 917-917 每年达到军龄的男性 的 range 是 整数 的实例
(range RemainderFn Integer) Merge.kif 5096-5096 余函数 的 range 是 整数 的实例
(range SignumFn Integer) Merge.kif 5188-5188 正或负值函数 的 range 是 整数 的实例
(range SuccessorFn Integer) Merge.kif 5300-5300 后继数函数 的 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 素数 是 整数 的 subclass
(termFormat EnglishLanguage Integer "integer") english_format.kif 934-934 素数 是 整数 的 subclass
(termFormat FrenchLanguage Integer "nombre entier") french_format.kif 542-542 素数 是 整数 的 subclass
(termFormat Hindi Integer "pUrNaanka") terms-hindi.txt 72-72 素数 是 整数 的 subclass

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 4818-4818 次幂函数 的 2 数量 是 整数 的 instance
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4846-4846 最大公因数函数 的 1 数量 是 整数 的 instance
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4931-4931 最小公倍数函数 的 1 数量 是 整数 的 instance
(domain PredecessorFn 1 Integer) Merge.kif 5332-5332 前继数函数 的 1 数量 是 整数 的 instance
(domain RemainderFn 1 Integer) Merge.kif 5094-5094 余函数 的 1 数量 是 整数 的 instance
(domain RemainderFn 2 Integer) Merge.kif 5095-5095 余函数 的 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 5299-5299 后继数函数 的 1 数量 是 整数 的 instance
(domain YearFn 1 Integer) Merge.kif 8605-8605 年函数 的 1 数量 是 整数 的 instance
(domain airQualityIndex 2 Integer) Weather.kif 3076-3076 airQualityIndex 的 2 数量 是 整数 的 instance
(domain breathingRate 3 Integer) Mid-level-ontology.kif 10597-10597 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 3172-3172 coilCount 的 2 数量 是 整数 的 instance
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135 区域通信卫星 的 3 数量 是 整数 的 instance
(domain criticalityLevel 2 Integer) QoSontology.kif 750-750 临界水平 的 2 数量 是 整数 的 instance
(domain defaultMaxValue 2 Integer) Merge.kif 18530-18530 defaultMaxValue 的 2 数量 是 整数 的 instance
(domain defaultMinValue 2 Integer) Merge.kif 18513-18513 defaultMinValue 的 2 数量 是 整数 的 instance
(domain defaultValue 2 Integer) Merge.kif 18547-18547 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 gearToothCount 2 Integer) engineering.kif 837-837 gearToothCount 的 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 5084-5089
(=>
    (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 31245-31260
(=>
    (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 31187-31197
(=>
    (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 31212-31227
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))		 Merge.kif 5326-5328
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))		 Merge.kif 5322-5324
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))		 Merge.kif 5342-5344
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))		 Merge.kif 5309-5311
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))		 Merge.kif 5080-5082

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 24556-24566
(=>
    (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 24515-24526
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))		 Merge.kif 4897-4902


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