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

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 861-861 range AvailableForMilitaryServiceMaleFn and Integer
(range CardinalityFn Integer) Merge.kif 5093-5093 range CardinalityFn and Integer
(range CeilingFn Integer) Merge.kif 4465-4465 range CeilingFn and Integer
(range DenominatorFn Integer) Merge.kif 4492-4492 range DenominatorFn and Integer
(range FitForMilitaryServiceMaleFn Integer) Military.kif 883-883 range FitForMilitaryServiceMaleFn and Integer
(range FloorFn Integer) Merge.kif 4510-4510 range FloorFn and Integer
(range GreatestCommonDivisorFn Integer) Merge.kif 4528-4528 range GreatestCommonDivisorFn and Integer
(range LeastCommonMultipleFn Integer) Merge.kif 4601-4601 range LeastCommonMultipleFn and Integer
(range NumeratorFn Integer) Merge.kif 4695-4695 range NumeratorFn and Integer
(range PopulationFn Integer) People.kif 30-30 range PopulationFn and Integer
(range PredecessorFn Integer) Merge.kif 4922-4922 range PredecessorFn and Integer
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 921-921 range ReachingMilitaryAgeAnnuallyMaleFn and Integer
(range RemainderFn Integer) Merge.kif 4756-4756 range RemainderFn and Integer
(range SignumFn Integer) Merge.kif 4810-4810 range SignumFn and Integer
(range SuccessorFn Integer) Merge.kif 4889-4889 range SuccessorFn and Integer
(subclass EvenInteger Integer) Merge.kif 1867-1867 subclass EvenInteger and Integer
(subclass NegativeInteger Integer) Merge.kif 1892-1892 subclass NegativeInteger and Integer
(subclass NonnegativeInteger Integer) Merge.kif 1882-1882 subclass NonnegativeInteger and Integer
(subclass OddInteger Integer) Merge.kif 1872-1872 subclass OddInteger and Integer
(subclass PrimeNumber Integer) Merge.kif 1877-1877 subclass PrimeNumber and Integer
(termFormat ChineseLanguage Integer "整数") chinese_format.kif 866-866 termFormat ChineseLanguage, Integer and "整数"
(termFormat EnglishLanguage Integer "integer") english_format.kif 939-939 termFormat EnglishLanguage, Integer and "integer"

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


(domain ExponentiationFn 2 Integer) Merge.kif 4501-4501 domain ExponentiationFn, 2 and Integer
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4529-4529 domain GreatestCommonDivisorFn, 1 and Integer
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 4602-4602 domain LeastCommonMultipleFn, 1 and Integer
(domain PredecessorFn 1 Integer) Merge.kif 4921-4921 domain PredecessorFn, 1 and Integer
(domain RemainderFn 1 Integer) Merge.kif 4754-4754 domain RemainderFn, 1 and Integer
(domain RemainderFn 2 Integer) Merge.kif 4755-4755 domain RemainderFn, 2 and Integer
(domain SuccessorFn 1 Integer) Merge.kif 4888-4888 domain SuccessorFn, 1 and Integer
(domain YearFn 1 Integer) Merge.kif 7891-7891 domain YearFn, 1 and Integer
(domain capacityByArrangement 3 Integer) Hotel.kif 761-761 domain capacityByArrangement, 3 and Integer
(domain coilCount 2 Integer) Cars.kif 3087-3087 domain coilCount, 2 and Integer
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135 domain communicationSatelliteForArea, 3 and Integer
(domain criticalityLevel 2 Integer) QoSontology.kif 642-642 domain criticalityLevel, 2 and Integer
(domain defaultMaxValue 2 Integer) Merge.kif 16943-16943 domain defaultMaxValue, 2 and Integer
(domain defaultMinValue 2 Integer) Merge.kif 16928-16928 domain defaultMinValue, 2 and Integer
(domain defaultValue 2 Integer) Merge.kif 16958-16958 domain defaultValue, 2 and Integer
(domain exactCardinality 2 Integer) Media.kif 2072-2072 domain exactCardinality, 2 and Integer
(domain exactCardinality 3 Integer) Media.kif 2073-2073 domain exactCardinality, 3 and Integer
(domain fleetSize 2 Integer) Mid-level-ontology.kif 4055-4055 domain fleetSize, 2 and Integer
(domain identityElement 2 Integer) Merge.kif 4866-4866 domain identityElement, 2 and Integer
(domain maxCardinality 2 Integer) Media.kif 2190-2190 domain maxCardinality, 2 and Integer
(domain maxCardinality 3 Integer) Media.kif 2191-2191 domain maxCardinality, 3 and Integer
(domain maxRoomCapacity 2 Integer) Hotel.kif 453-453 domain maxRoomCapacity, 2 and Integer
(domain maxValue 2 Integer) Merge.kif 16913-16913 domain maxValue, 2 and Integer
(domain memberCount 2 Integer) Mid-level-ontology.kif 20503-20503 domain memberCount, 2 and Integer
(domain minCardinality 2 Integer) Media.kif 2154-2154 domain minCardinality, 2 and Integer

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