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 1905-1905
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1903-1903
(partition Integer OddInteger EvenInteger) Merge.kif 1902-1902
(subclass Integer RationalNumber) Merge.kif 1901-1901

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 861-861
(range CardinalityFn Integer) Merge.kif 5304-5304
(range CeilingFn Integer) Merge.kif 4644-4644
(range DenominatorFn Integer) Merge.kif 4671-4671
(range FitForMilitaryServiceMaleFn Integer) Military.kif 883-883
(range FloorFn Integer) Merge.kif 4689-4689
(range GreatestCommonDivisorFn Integer) Merge.kif 4707-4707
(range LeastCommonMultipleFn Integer) Merge.kif 4780-4780
(range NumeratorFn Integer) Merge.kif 4874-4874
(range PopulationFn Integer) People.kif 30-30
(range PredecessorFn Integer) Merge.kif 5135-5135
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 921-921
(range RemainderFn Integer) Merge.kif 4935-4935
(range SignumFn Integer) Merge.kif 4989-4989
(range SuccessorFn Integer) Merge.kif 5102-5102
(subclass EvenInteger Integer) Merge.kif 1907-1907
(subclass NegativeInteger Integer) Merge.kif 1932-1932
(subclass NonnegativeInteger Integer) Merge.kif 1922-1922
(subclass OddInteger Integer) Merge.kif 1912-1912
(subclass PrimeNumber Integer) Merge.kif 1917-1917
(termFormat ChineseLanguage Integer "整数") chinese_format.kif 866-866
(termFormat EnglishLanguage Integer "integer") english_format.kif 939-939

appearance as argument number 3
-------------------------


(domain ExponentiationFn 2 Integer) Merge.kif 4680-4680
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4708-4708
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4781-4781
(domain PredecessorFn 1 Integer) Merge.kif 5134-5134
(domain RemainderFn 1 Integer) Merge.kif 4933-4933
(domain RemainderFn 2 Integer) Merge.kif 4934-4934
(domain SubListFn 1 Integer) Merge.kif 3089-3089
(domain SubListFn 2 Integer) Merge.kif 3090-3090
(domain SuccessorFn 1 Integer) Merge.kif 5101-5101
(domain YearFn 1 Integer) Merge.kif 8198-8198
(domain capacityByArrangement 3 Integer) Hotel.kif 767-767
(domain coilCount 2 Integer) Cars.kif 3113-3113
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135
(domain criticalityLevel 2 Integer) QoSontology.kif 642-642
(domain defaultMaxValue 2 Integer) Merge.kif 17707-17707
(domain defaultMinValue 2 Integer) Merge.kif 17690-17690
(domain defaultValue 2 Integer) Merge.kif 17723-17723
(domain exactCardinality 2 Integer) Media.kif 2072-2072
(domain exactCardinality 3 Integer) Media.kif 2073-2073
(domain fleetSize 2 Integer) Mid-level-ontology.kif 3457-3457
(domain heartRate 3 Integer) Mid-level-ontology.kif 9669-9669
(domain identityElement 2 Integer) Merge.kif 5079-5079
(domain maxCardinality 2 Integer) Media.kif 2190-2190
(domain maxCardinality 3 Integer) Media.kif 2191-2191
(domain maxRoomCapacity 2 Integer) Hotel.kif 457-457

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 4923-4928
(=>
    (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 30002-30017
(=>
    (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 29946-29956
(=>
    (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 29969-29984
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5128-5130
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5124-5126
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5144-5146
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5111-5113
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 4919-4921

consequent
-------------------------


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3315-3319
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 4747-4752


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