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 1872-1872
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1870-1870
(partition Integer OddInteger EvenInteger) Merge.kif 1869-1869
(subclass Integer RationalNumber) Merge.kif 1868-1868

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 861-861
(range CardinalityFn Integer) Merge.kif 5271-5271
(range CeilingFn Integer) Merge.kif 4611-4611
(range DenominatorFn Integer) Merge.kif 4638-4638
(range FitForMilitaryServiceMaleFn Integer) Military.kif 883-883
(range FloorFn Integer) Merge.kif 4656-4656
(range GreatestCommonDivisorFn Integer) Merge.kif 4674-4674
(range LeastCommonMultipleFn Integer) Merge.kif 4747-4747
(range NumeratorFn Integer) Merge.kif 4841-4841
(range PopulationFn Integer) People.kif 30-30
(range PredecessorFn Integer) Merge.kif 5102-5102
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 921-921
(range RemainderFn Integer) Merge.kif 4902-4902
(range SignumFn Integer) Merge.kif 4956-4956
(range SuccessorFn Integer) Merge.kif 5069-5069
(subclass EvenInteger Integer) Merge.kif 1874-1874
(subclass NegativeInteger Integer) Merge.kif 1899-1899
(subclass NonnegativeInteger Integer) Merge.kif 1889-1889
(subclass OddInteger Integer) Merge.kif 1879-1879
(subclass PrimeNumber Integer) Merge.kif 1884-1884
(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 4647-4647
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4675-4675
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4748-4748
(domain PredecessorFn 1 Integer) Merge.kif 5101-5101
(domain RemainderFn 1 Integer) Merge.kif 4900-4900
(domain RemainderFn 2 Integer) Merge.kif 4901-4901
(domain SubListFn 1 Integer) Merge.kif 3056-3056
(domain SubListFn 2 Integer) Merge.kif 3057-3057
(domain SuccessorFn 1 Integer) Merge.kif 5068-5068
(domain YearFn 1 Integer) Merge.kif 8165-8165
(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 17585-17585
(domain defaultMinValue 2 Integer) Merge.kif 17568-17568
(domain defaultValue 2 Integer) Merge.kif 17601-17601
(domain exactCardinality 2 Integer) Media.kif 2072-2072
(domain exactCardinality 3 Integer) Media.kif 2073-2073
(domain fleetSize 2 Integer) Mid-level-ontology.kif 3456-3456
(domain heartRate 3 Integer) Mid-level-ontology.kif 9493-9493
(domain identityElement 2 Integer) Merge.kif 5046-5046
(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 4890-4895
(=>
    (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 29652-29667
(=>
    (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 29596-29606
(=>
    (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 29619-29634
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5095-5097
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5091-5093
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5111-5113
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5078-5080
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 4886-4888

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


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3282-3286
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 4714-4719


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