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 1865-1865
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 1863-1863
(partition Integer OddInteger EvenInteger) Merge.kif 1862-1862
(subclass Integer RationalNumber) Merge.kif 1861-1861

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 861-861
(range CardinalityFn Integer) Merge.kif 5093-5093
(range CeilingFn Integer) Merge.kif 4465-4465
(range DenominatorFn Integer) Merge.kif 4492-4492
(range FitForMilitaryServiceMaleFn Integer) Military.kif 883-883
(range FloorFn Integer) Merge.kif 4510-4510
(range GreatestCommonDivisorFn Integer) Merge.kif 4528-4528
(range LeastCommonMultipleFn Integer) Merge.kif 4601-4601
(range NumeratorFn Integer) Merge.kif 4695-4695
(range PopulationFn Integer) People.kif 30-30
(range PredecessorFn Integer) Merge.kif 4922-4922
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 921-921
(range RemainderFn Integer) Merge.kif 4756-4756
(range SignumFn Integer) Merge.kif 4810-4810
(range SuccessorFn Integer) Merge.kif 4889-4889
(subclass EvenInteger Integer) Merge.kif 1867-1867
(subclass NegativeInteger Integer) Merge.kif 1892-1892
(subclass NonnegativeInteger Integer) Merge.kif 1882-1882
(subclass OddInteger Integer) Merge.kif 1872-1872
(subclass PrimeNumber Integer) Merge.kif 1877-1877
(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 4501-4501
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4529-4529
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4602-4602
(domain PredecessorFn 1 Integer) Merge.kif 4921-4921
(domain RemainderFn 1 Integer) Merge.kif 4754-4754
(domain RemainderFn 2 Integer) Merge.kif 4755-4755
(domain SuccessorFn 1 Integer) Merge.kif 4888-4888
(domain YearFn 1 Integer) Merge.kif 7891-7891
(domain capacityByArrangement 3 Integer) Hotel.kif 761-761
(domain coilCount 2 Integer) Cars.kif 3087-3087
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135
(domain criticalityLevel 2 Integer) QoSontology.kif 642-642
(domain defaultMaxValue 2 Integer) Merge.kif 16943-16943
(domain defaultMinValue 2 Integer) Merge.kif 16928-16928
(domain defaultValue 2 Integer) Merge.kif 16958-16958
(domain exactCardinality 2 Integer) Media.kif 2072-2072
(domain exactCardinality 3 Integer) Media.kif 2073-2073
(domain fleetSize 2 Integer) Mid-level-ontology.kif 4055-4055
(domain identityElement 2 Integer) Merge.kif 4866-4866
(domain maxCardinality 2 Integer) Media.kif 2190-2190
(domain maxCardinality 3 Integer) Media.kif 2191-2191
(domain maxRoomCapacity 2 Integer) Hotel.kif 453-453
(domain maxValue 2 Integer) Merge.kif 16913-16913
(domain memberCount 2 Integer) Mid-level-ontology.kif 20503-20503
(domain minCardinality 2 Integer) Media.kif 2154-2154

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 4744-4749
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 4915-4917
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 4911-4913
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 4931-4933
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 4898-4900
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 4740-4742

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


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3148-3152
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 4568-4573


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners