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 劃分 Integer, NegativeInteger and NonnegativeInteger
(partition Integer OddInteger EvenInteger) Merge.kif 1955-1955 劃分 Integer, OddInteger and EvenInteger
(subclass Integer RationalNumber) Merge.kif 1954-1954 子類 Integer and RationalNumber

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 857-857 範圍 可用於兵役男性 and Integer
(range CardinalityFn Integer) Merge.kif 5504-5504 範圍 基數 and Integer
(range CeilingFn Integer) Merge.kif 4782-4782 範圍 天花板 and Integer
(range DenominatorFn Integer) Merge.kif 4809-4809 範圍 分母 and Integer
(range FitForMilitaryServiceMaleFn Integer) Military.kif 879-879 範圍 適合兵役的男性 and Integer
(range FloorFn Integer) Merge.kif 4827-4827 範圍 地板 and Integer
(range GreatestCommonDivisorFn Integer) Merge.kif 4845-4845 範圍 最大公約數 and Integer
(range LeastCommonMultipleFn Integer) Merge.kif 4930-4930 範圍 最不常見的倍數 and Integer
(range NumeratorFn Integer) Merge.kif 5035-5035 範圍 分子 and Integer
(range PopulationFn Integer) Mid-level-ontology.kif 31991-31991 範圍 人口 and Integer
(range PredecessorFn Integer) Merge.kif 5333-5333 範圍 前任 and Integer
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 917-917 範圍 每年達到軍齡的男性 and Integer
(range RemainderFn Integer) Merge.kif 5096-5096 範圍 剩餘 and Integer
(range SignumFn Integer) Merge.kif 5188-5188 範圍 正負號 and Integer
(range SuccessorFn Integer) Merge.kif 5300-5300 範圍 接班人 and Integer
(subclass EvenInteger Integer) Merge.kif 1960-1960 子類 EvenInteger and Integer
(subclass NegativeInteger Integer) Merge.kif 1985-1985 子類 NegativeInteger and Integer
(subclass NonnegativeInteger Integer) Merge.kif 1975-1975 子類 NonnegativeInteger and Integer
(subclass OddInteger Integer) Merge.kif 1965-1965 子類 OddInteger and Integer
(subclass PrimeNumber Integer) Merge.kif 1970-1970 子類 PrimeNumber and Integer
(termFormat ChineseLanguage Integer "整数") chinese_format.kif 866-866 子類 PrimeNumber and Integer
(termFormat EnglishLanguage Integer "integer") english_format.kif 934-934 子類 PrimeNumber and Integer
(termFormat FrenchLanguage Integer "nombre entier") french_format.kif 542-542 子類 PrimeNumber and Integer
(termFormat Hindi Integer "pUrNaanka") terms-hindi.txt 72-72 子類 PrimeNumber and Integer

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 and Integer
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4846-4846 最大公約數, 1 and Integer
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4931-4931 最不常見的倍數, 1 and Integer
(domain PredecessorFn 1 Integer) Merge.kif 5332-5332 前任, 1 and Integer
(domain RemainderFn 1 Integer) Merge.kif 5094-5094 剩餘, 1 and Integer
(domain RemainderFn 2 Integer) Merge.kif 5095-5095 剩餘, 2 and Integer
(domain SubListFn 1 Integer) Merge.kif 3162-3162 SubListFn, 1 and Integer
(domain SubListFn 2 Integer) Merge.kif 3163-3163 SubListFn, 2 and Integer
(domain SuccessorFn 1 Integer) Merge.kif 5299-5299 接班人, 1 and Integer
(domain YearFn 1 Integer) Merge.kif 8601-8601 , 1 and Integer
(domain airQualityIndex 2 Integer) Weather.kif 3076-3076 airQualityIndex, 2 and Integer
(domain breathingRate 3 Integer) Mid-level-ontology.kif 10597-10597 breathingRate, 3 and Integer
(domain capacityByArrangement 3 Integer) Hotel.kif 788-788 capacityByArrangement, 3 and Integer
(domain chromosomeNumber 2 Integer) VirusProteinAndCellPart.kif 698-698 chromosomeNumber, 2 and Integer
(domain chromosomeSetCount 3 Integer) VirusProteinAndCellPart.kif 824-824 chromosomeSetCount, 3 and Integer
(domain coilCount 2 Integer) Cars.kif 3173-3173 coilCount, 2 and Integer
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135 區域通信衛星, 3 and Integer
(domain criticalityLevel 2 Integer) QoSontology.kif 750-750 臨界水平, 2 and Integer
(domain defaultMaxValue 2 Integer) Merge.kif 18526-18526 defaultMaxValue, 2 and Integer
(domain defaultMinValue 2 Integer) Merge.kif 18509-18509 defaultMinValue, 2 and Integer
(domain defaultValue 2 Integer) Merge.kif 18543-18543 defaultValue, 2 and Integer
(domain exactCardinality 2 Integer) Media.kif 2070-2070 exactCardinality, 2 and Integer
(domain exactCardinality 3 Integer) Media.kif 2071-2071 exactCardinality, 3 and Integer
(domain fleetSize 2 Integer) Mid-level-ontology.kif 3515-3515 fleetSize, 2 and Integer
(domain gearToothCount 2 Integer) engineering.kif 837-837 gearToothCount, 2 and Integer

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