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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Document

 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 1969-1969
(documentation Integer JapaneseLanguage "負または非負の整数。") japanese_format.kif 356-356
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1967-1967 整数 は 負の整数 + 非負整数 に exhaustively partitioned
(partition Integer OddInteger EvenInteger) Merge.kif 1966-1966 整数 は 奇数の整数 + 偶数の整数 に exhaustively partitioned
(subclass Integer RationalNumber) Merge.kif 1965-1965 整数 は 有理数 の subclass では

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 934-934 AvailableForMilitaryServiceMaleFn の range は 整数 のインスタンス では
(range CardinalityFn Integer) Merge.kif 5534-5534 CardinalityFn の range は 整数 のインスタンス では
(range CeilingFn Integer) Merge.kif 4812-4812 CeilingFn の range は 整数 のインスタンス では
(range DemandFn Integer) Economy.kif 6789-6789 DemandFn の range は 整数 のインスタンス では
(range DenominatorFn Integer) Merge.kif 4839-4839 DenominatorFn の range は 整数 のインスタンス では
(range FitForMilitaryServiceMaleFn Integer) Military.kif 956-956 FitForMilitaryServiceMaleFn の range は 整数 のインスタンス では
(range FloorFn Integer) Merge.kif 4857-4857 FloorFn の range は 整数 のインスタンス では
(range GreatestCommonDivisorFn Integer) Merge.kif 4875-4875 GreatestCommonDivisorFn の range は 整数 のインスタンス では
(range LeastCommonMultipleFn Integer) Merge.kif 4960-4960 LeastCommonMultipleFn の range は 整数 のインスタンス では
(range NumeratorFn Integer) Merge.kif 5065-5065 NumeratorFn の range は 整数 のインスタンス では
(range PopulationFn Integer) Mid-level-ontology.kif 33639-33639 PopulationFn の range は 整数 のインスタンス では
(range PredecessorFn Integer) Merge.kif 5363-5363 PredecessorFn の range は 整数 のインスタンス では
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 994-994 ReachingMilitaryAgeAnnuallyMaleFn の range は 整数 のインスタンス では
(range RemainderFn Integer) Merge.kif 5126-5126 RemainderFn の range は 整数 のインスタンス では
(range SignumFn Integer) Merge.kif 5218-5218 SignumFn の range は 整数 のインスタンス では
(range SuccessorFn Integer) Merge.kif 5330-5330 SuccessorFn の range は 整数 のインスタンス では
(range SupplyFn Integer) Economy.kif 6760-6760 SupplyFn の range は 整数 のインスタンス では
(subclass EvenInteger Integer) Merge.kif 1971-1971 偶数の整数 は 整数 の subclass では
(subclass NegativeInteger Integer) Merge.kif 1996-1996 負の整数 は 整数 の subclass では
(subclass NonnegativeInteger Integer) Merge.kif 1986-1986 非負整数 は 整数 の subclass では
(subclass OddInteger Integer) Merge.kif 1976-1976 奇数の整数 は 整数 の subclass では
(subclass PrimeNumber Integer) Merge.kif 1981-1981 素数 は 整数 の subclass では
(termFormat ChineseLanguage Integer "整数") chinese_format.kif 866-866 素数 は 整数 の subclass では
(termFormat EnglishLanguage Integer "integer") english_format.kif 934-934 素数 は 整数 の 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 4848-4848 ExponentiationFn の数値 2 引数は 整数 の instance では
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4876-4876 GreatestCommonDivisorFn の数値 1 引数は 整数 の instance では
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4961-4961 LeastCommonMultipleFn の数値 1 引数は 整数 の instance では
(domain PredecessorFn 1 Integer) Merge.kif 5362-5362 PredecessorFn の数値 1 引数は 整数 の instance では
(domain RemainderFn 1 Integer) Merge.kif 5124-5124 RemainderFn の数値 1 引数は 整数 の instance では
(domain RemainderFn 2 Integer) Merge.kif 5125-5125 RemainderFn の数値 2 引数は 整数 の instance では
(domain SubListFn 1 Integer) Merge.kif 3174-3174 SubListFn の数値 1 引数は 整数 の instance では
(domain SubListFn 2 Integer) Merge.kif 3175-3175 SubListFn の数値 2 引数は 整数 の instance では
(domain SuccessorFn 1 Integer) Merge.kif 5329-5329 SuccessorFn の数値 1 引数は 整数 の instance では
(domain YearFn 1 Integer) Merge.kif 8668-8668 YearFn の数値 1 引数は 整数 の instance では
(domain airQualityIndex 2 Integer) Weather.kif 3818-3818 airQualityIndex の数値 2 引数は 整数 の instance では
(domain breathingRate 3 Integer) Mid-level-ontology.kif 11710-11710 breathingRate の数値 3 引数は 整数 の instance では
(domain capacityByArrangement 3 Integer) Hotel.kif 792-792 capacityByArrangement の数値 3 引数は 整数 の instance では
(domain chromosomeNumber 2 Integer) VirusProteinAndCellPart.kif 705-705 chromosomeNumber の数値 2 引数は 整数 の instance では
(domain chromosomeSetCount 3 Integer) VirusProteinAndCellPart.kif 831-831 chromosomeSetCount の数値 3 引数は 整数 の instance では
(domain coilCount 2 Integer) Cars.kif 3173-3173 coilCount の数値 2 引数は 整数 の instance では
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135 communicationSatelliteForArea の数値 3 引数は 整数 の instance では
(domain criticalityLevel 2 Integer) QoSontology.kif 753-753 criticalityLevel の数値 2 引数は 整数 の instance では
(domain defaultMaxValue 2 Integer) Merge.kif 18628-18628 defaultMaxValue の数値 2 引数は 整数 の instance では
(domain defaultMinValue 2 Integer) Merge.kif 18611-18611 defaultMinValue の数値 2 引数は 整数 の instance では
(domain defaultValue 2 Integer) Merge.kif 18645-18645 defaultValue の数値 2 引数は 整数 の instance では
(domain exactCardinality 2 Integer) Media.kif 2072-2072 exactCardinality の数値 2 引数は 整数 の instance では
(domain exactCardinality 3 Integer) Media.kif 2073-2073 exactCardinality の数値 3 引数は 整数 の instance では
(domain fleetSize 2 Integer) Mid-level-ontology.kif 3965-3965 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 5114-5119
(=>
    (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 32892-32907
(=>
    (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 32834-32844
(=>
    (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 32859-32874
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))		 Merge.kif 5356-5358
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))		 Merge.kif 5352-5354
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))		 Merge.kif 5372-5374
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))		 Merge.kif 5339-5341
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))		 Merge.kif 5110-5112

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 25883-25893
(=>
    (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 71-87
(=>
    (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 102-118
(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))		 Merge.kif 3407-3411
(=>
    (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 25842-25853
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))		 Merge.kif 4927-4932


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