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
(partition Integer OddInteger EvenInteger) Merge.kif 1955-1955
(subclass Integer RationalNumber) Merge.kif 1954-1954

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 866-866
(range CardinalityFn Integer) Merge.kif 5509-5509
(range CeilingFn Integer) Merge.kif 4784-4784
(range DenominatorFn Integer) Merge.kif 4811-4811
(range FitForMilitaryServiceMaleFn Integer) Military.kif 888-888
(range FloorFn Integer) Merge.kif 4829-4829
(range GreatestCommonDivisorFn Integer) Merge.kif 4847-4847
(range LeastCommonMultipleFn Integer) Merge.kif 4932-4932
(range NumeratorFn Integer) Merge.kif 5037-5037
(range PopulationFn Integer) Mid-level-ontology.kif 31693-31693
(range PredecessorFn Integer) Merge.kif 5335-5335
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 926-926
(range RemainderFn Integer) Merge.kif 5098-5098
(range SignumFn Integer) Merge.kif 5190-5190
(range SuccessorFn Integer) Merge.kif 5302-5302
(subclass EvenInteger Integer) Merge.kif 1960-1960
(subclass NegativeInteger Integer) Merge.kif 1985-1985
(subclass NonnegativeInteger Integer) Merge.kif 1975-1975
(subclass OddInteger Integer) Merge.kif 1965-1965
(subclass PrimeNumber Integer) Merge.kif 1970-1970
(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
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4848-4848
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4933-4933
(domain PredecessorFn 1 Integer) Merge.kif 5334-5334
(domain RemainderFn 1 Integer) Merge.kif 5096-5096
(domain RemainderFn 2 Integer) Merge.kif 5097-5097
(domain SubListFn 1 Integer) Merge.kif 3161-3161
(domain SubListFn 2 Integer) Merge.kif 3162-3162
(domain SuccessorFn 1 Integer) Merge.kif 5301-5301
(domain YearFn 1 Integer) Merge.kif 8555-8555
(domain airQualityIndex 2 Integer) Weather.kif 3093-3093
(domain breathingRate 3 Integer) Mid-level-ontology.kif 10379-10379
(domain capacityByArrangement 3 Integer) Hotel.kif 788-788
(domain chromosomeNumber 2 Integer) VirusProteinAndCellPart.kif 699-699
(domain chromosomeSetCount 3 Integer) VirusProteinAndCellPart.kif 825-825
(domain coilCount 2 Integer) Cars.kif 3113-3113
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135
(domain criticalityLevel 2 Integer) QoSontology.kif 644-644
(domain defaultMaxValue 2 Integer) Merge.kif 18441-18441
(domain defaultMinValue 2 Integer) Merge.kif 18424-18424
(domain defaultValue 2 Integer) Merge.kif 18458-18458
(domain exactCardinality 2 Integer) Media.kif 2070-2070
(domain exactCardinality 3 Integer) Media.kif 2071-2071
(domain fleetSize 2 Integer) Mid-level-ontology.kif 3522-3522
(domain haploidNumber 2 Integer) VirusProteinAndCellPart.kif 790-790

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