Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CenturyDuration

Sigma KEE - Integer
Integer(integer)0, 1, 10, 100, 1000, 101, 105, 11, 110, 115, 12, 120, 125, 13, 130, 135, 14, 140, 145, 15, 150, 155, 16, 160, 165, 17, 170, 175, 18, 180, 19, 190, 2, 20, 200, 21, 22, 23, 24, 25, 26, 27, 28, 29, 3, 30, 300, 31, 32, 33...

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 is exhaustively partitioned into negative integer and nonnegative integer
(partition Integer OddInteger EvenInteger) Merge.kif 1955-1955 Integer is exhaustively partitioned into odd integer and even integer
(subclass Integer RationalNumber) Merge.kif 1954-1954 Integer is a subclass of rational number

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 857-857 The range of available for military service male is an instance of integer
(range CardinalityFn Integer) Merge.kif 5510-5510 The range of cardinality is an instance of integer
(range CeilingFn Integer) Merge.kif 4785-4785 The range of ceiling is an instance of integer
(range DenominatorFn Integer) Merge.kif 4812-4812 The range of denominator is an instance of integer
(range FitForMilitaryServiceMaleFn Integer) Military.kif 879-879 The range of fit for military service male is an instance of integer
(range FloorFn Integer) Merge.kif 4830-4830 The range of floor is an instance of integer
(range GreatestCommonDivisorFn Integer) Merge.kif 4848-4848 The range of greatest common divisor is an instance of integer
(range LeastCommonMultipleFn Integer) Merge.kif 4933-4933 The range of least common multiple is an instance of integer
(range NumeratorFn Integer) Merge.kif 5038-5038 The range of numerator is an instance of integer
(range PopulationFn Integer) Mid-level-ontology.kif 31958-31958 The range of population is an instance of integer
(range PredecessorFn Integer) Merge.kif 5336-5336 The range of predecessor is an instance of integer
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 917-917 The range of reaching military age annually male is an instance of integer
(range RemainderFn Integer) Merge.kif 5099-5099 The range of remainder is an instance of integer
(range SignumFn Integer) Merge.kif 5191-5191 The range of signum is an instance of integer
(range SuccessorFn Integer) Merge.kif 5303-5303 The range of successor is an instance of integer
(subclass EvenInteger Integer) Merge.kif 1960-1960 Even integer is a subclass of integer
(subclass NegativeInteger Integer) Merge.kif 1985-1985 Negative integer is a subclass of integer
(subclass NonnegativeInteger Integer) Merge.kif 1975-1975 Nonnegative integer is a subclass of integer
(subclass OddInteger Integer) Merge.kif 1965-1965 Odd integer is a subclass of integer
(subclass PrimeNumber Integer) Merge.kif 1970-1970 Prime number is a subclass of integer
(termFormat ChineseLanguage Integer "整数") chinese_format.kif 866-866 Prime number is a subclass of integer
(termFormat EnglishLanguage Integer "integer") english_format.kif 934-934 Prime number is a subclass of integer
(termFormat FrenchLanguage Integer "nombre entier") french_format.kif 542-542 Prime number is a subclass of integer
(termFormat Hindi Integer "pUrNaanka") terms-hindi.txt 72-72 Prime number is a subclass of 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 4821-4821 The number 2 argument of exponentiation is an instance of integer
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4849-4849 The number 1 argument of greatest common divisor is an instance of integer
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4934-4934 The number 1 argument of least common multiple is an instance of integer
(domain PredecessorFn 1 Integer) Merge.kif 5335-5335 The number 1 argument of predecessor is an instance of integer
(domain RemainderFn 1 Integer) Merge.kif 5097-5097 The number 1 argument of remainder is an instance of integer
(domain RemainderFn 2 Integer) Merge.kif 5098-5098 The number 2 argument of remainder is an instance of integer
(domain SubListFn 1 Integer) Merge.kif 3162-3162 The number 1 argument of sub-list function is an instance of integer
(domain SubListFn 2 Integer) Merge.kif 3163-3163 The number 2 argument of sub-list function is an instance of integer
(domain SuccessorFn 1 Integer) Merge.kif 5302-5302 The number 1 argument of successor is an instance of integer
(domain YearFn 1 Integer) Merge.kif 8591-8591 The number 1 argument of year is an instance of integer
(domain airQualityIndex 2 Integer) Weather.kif 3076-3076 The number 2 argument of airQualityIndex is an instance of integer
(domain breathingRate 3 Integer) Mid-level-ontology.kif 10597-10597 The number 3 argument of breathingRate is an instance of integer
(domain capacityByArrangement 3 Integer) Hotel.kif 788-788 The number 3 argument of capacity by arrangement is an instance of integer
(domain chromosomeNumber 2 Integer) VirusProteinAndCellPart.kif 698-698 The number 2 argument of chromosome number is an instance of integer
(domain chromosomeSetCount 3 Integer) VirusProteinAndCellPart.kif 824-824 The number 3 argument of chromosome set count is an instance of integer
(domain coilCount 2 Integer) Cars.kif 3097-3097 The number 2 argument of coil count is an instance of integer
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135 The number 3 argument of communication satellite for area is an instance of integer
(domain criticalityLevel 2 Integer) QoSontology.kif 644-644 The number 2 argument of criticality level is an instance of integer
(domain defaultMaxValue 2 Integer) Merge.kif 18520-18520 The number 2 argument of default max value is an instance of integer
(domain defaultMinValue 2 Integer) Merge.kif 18503-18503 The number 2 argument of default min value is an instance of integer
(domain defaultValue 2 Integer) Merge.kif 18537-18537 The number 2 argument of default value is an instance of integer
(domain exactCardinality 2 Integer) Media.kif 2070-2070 The number 2 argument of exact cardinality is an instance of integer
(domain exactCardinality 3 Integer) Media.kif 2071-2071 The number 3 argument of exact cardinality is an instance of integer
(domain fleetSize 2 Integer) Mid-level-ontology.kif 3515-3515 The number 2 argument of Fleet Size is an instance of integer
(domain haploidNumber 2 Integer) VirusProteinAndCellPart.kif 789-789 The number 2 argument of haploid number is an instance of 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 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 31213-31228
(=>
    (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 31155-31165
(=>
    (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 31180-31195
(=>
    (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 24524-24534
(=>
    (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 24483-24494
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 4900-4905


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