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 整数負の整数 + 非負整数exhaustively partitioned %n
(partition Integer OddInteger EvenInteger) Merge.kif 1955-1955 整数奇数の整数 + 偶数の整数exhaustively partitioned %n
(subclass Integer RationalNumber) Merge.kif 1954-1954 整数有理数subclass では %n

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 866-866 AvailableForMilitaryServiceMaleFnrange整数 のインスタンス では %n
(range CardinalityFn Integer) Merge.kif 5509-5509 CardinalityFnrange整数 のインスタンス では %n
(range CeilingFn Integer) Merge.kif 4784-4784 CeilingFnrange整数 のインスタンス では %n
(range DenominatorFn Integer) Merge.kif 4811-4811 DenominatorFnrange整数 のインスタンス では %n
(range FitForMilitaryServiceMaleFn Integer) Military.kif 888-888 FitForMilitaryServiceMaleFnrange整数 のインスタンス では %n
(range FloorFn Integer) Merge.kif 4829-4829 FloorFnrange整数 のインスタンス では %n
(range GreatestCommonDivisorFn Integer) Merge.kif 4847-4847 GreatestCommonDivisorFnrange整数 のインスタンス では %n
(range LeastCommonMultipleFn Integer) Merge.kif 4932-4932 LeastCommonMultipleFnrange整数 のインスタンス では %n
(range NumeratorFn Integer) Merge.kif 5037-5037 NumeratorFnrange整数 のインスタンス では %n
(range PopulationFn Integer) Mid-level-ontology.kif 31693-31693 PopulationFnrange整数 のインスタンス では %n
(range PredecessorFn Integer) Merge.kif 5335-5335 PredecessorFnrange整数 のインスタンス では %n
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 926-926 ReachingMilitaryAgeAnnuallyMaleFnrange整数 のインスタンス では %n
(range RemainderFn Integer) Merge.kif 5098-5098 RemainderFnrange整数 のインスタンス では %n
(range SignumFn Integer) Merge.kif 5190-5190 SignumFnrange整数 のインスタンス では %n
(range SuccessorFn Integer) Merge.kif 5302-5302 SuccessorFnrange整数 のインスタンス では %n
(subclass EvenInteger Integer) Merge.kif 1960-1960 偶数の整数整数subclass では %n
(subclass NegativeInteger Integer) Merge.kif 1985-1985 負の整数整数subclass では %n
(subclass NonnegativeInteger Integer) Merge.kif 1975-1975 非負整数整数subclass では %n
(subclass OddInteger Integer) Merge.kif 1965-1965 奇数の整数整数subclass では %n
(subclass PrimeNumber Integer) Merge.kif 1970-1970 素数整数subclass では %n
(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 4820-4820 ExponentiationFn の数値 2 引数は 整数instance では %n
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4848-4848 GreatestCommonDivisorFn の数値 1 引数は 整数instance では %n
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4933-4933 LeastCommonMultipleFn の数値 1 引数は 整数instance では %n
(domain PredecessorFn 1 Integer) Merge.kif 5334-5334 PredecessorFn の数値 1 引数は 整数instance では %n
(domain RemainderFn 1 Integer) Merge.kif 5096-5096 RemainderFn の数値 1 引数は 整数instance では %n
(domain RemainderFn 2 Integer) Merge.kif 5097-5097 RemainderFn の数値 2 引数は 整数instance では %n
(domain SubListFn 1 Integer) Merge.kif 3161-3161 SubListFn の数値 1 引数は 整数instance では %n
(domain SubListFn 2 Integer) Merge.kif 3162-3162 SubListFn の数値 2 引数は 整数instance では %n
(domain SuccessorFn 1 Integer) Merge.kif 5301-5301 SuccessorFn の数値 1 引数は 整数instance では %n
(domain YearFn 1 Integer) Merge.kif 8555-8555 YearFn の数値 1 引数は 整数instance では %n
(domain airQualityIndex 2 Integer) Weather.kif 3093-3093 airQualityIndex の数値 2 引数は 整数instance では %n
(domain breathingRate 3 Integer) Mid-level-ontology.kif 10379-10379 breathingRate の数値 3 引数は 整数instance では %n
(domain capacityByArrangement 3 Integer) Hotel.kif 788-788 capacityByArrangement の数値 3 引数は 整数instance では %n
(domain chromosomeNumber 2 Integer) VirusProteinAndCellPart.kif 699-699 chromosomeNumber の数値 2 引数は 整数instance では %n
(domain chromosomeSetCount 3 Integer) VirusProteinAndCellPart.kif 825-825 chromosomeSetCount の数値 3 引数は 整数instance では %n
(domain coilCount 2 Integer) Cars.kif 3113-3113 coilCount の数値 2 引数は 整数instance では %n
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135 communicationSatelliteForArea の数値 3 引数は 整数instance では %n
(domain criticalityLevel 2 Integer) QoSontology.kif 644-644 criticalityLevel の数値 2 引数は 整数instance では %n
(domain defaultMaxValue 2 Integer) Merge.kif 18441-18441 defaultMaxValue の数値 2 引数は 整数instance では %n
(domain defaultMinValue 2 Integer) Merge.kif 18424-18424 defaultMinValue の数値 2 引数は 整数instance では %n
(domain defaultValue 2 Integer) Merge.kif 18458-18458 defaultValue の数値 2 引数は 整数instance では %n
(domain exactCardinality 2 Integer) Media.kif 2070-2070 exactCardinality の数値 2 引数は 整数instance では %n
(domain exactCardinality 3 Integer) Media.kif 2071-2071 exactCardinality の数値 3 引数は 整数instance では %n
(domain fleetSize 2 Integer) Mid-level-ontology.kif 3522-3522 fleetSize の数値 2 引数は 整数instance では %n
(domain haploidNumber 2 Integer) VirusProteinAndCellPart.kif 790-790 haploidNumber の数値 2 引数は 整数instance では %n

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 5086-5091
(=>
    (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 30956-30971
(=>
    (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 30898-30908
(=>
    (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 30923-30938
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5328-5330
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5324-5326
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5344-5346
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5311-5313
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 5082-5084

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 24236-24246
(=>
    (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 3392-3396
(=>
    (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 24195-24206
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 4899-4904


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