Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Integer

Sigma KEE - Integer
Integerعدد صحِيْح, ...

appearance as argument number 1
-------------------------


(documentation Integer ChineseLanguage "这是一个负或非负的整数。") Merge.kif 2007-2007
(documentation Integer EnglishLanguage "A negative or nonnegative whole number.") Merge.kif 2006-2006
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 2005-2005
(partition Integer OddInteger EvenInteger) Merge.kif 2004-2004
(subclass Integer RationalNumber) Merge.kif 2003-2003

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 861-861
(range CeilingFn Integer) Merge.kif 4909-4909
(range DenominatorFn Integer) Merge.kif 4937-4937
(range FitForMilitaryServiceMaleFn Integer) Military.kif 883-883
(range FloorFn Integer) Merge.kif 4957-4957
(range GreatestCommonDivisorFn Integer) Merge.kif 4975-4975
(range LeastCommonMultipleFn Integer) Merge.kif 5054-5054
(range NumeratorFn Integer) Merge.kif 5153-5153
(range PopulationFn Integer) People.kif 30-30
(range PredecessorFn Integer) Merge.kif 5392-5392
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 921-921
(range SignumFn Integer) Merge.kif 5275-5275
(range SuccessorFn Integer) Merge.kif 5358-5358
(subclass EvenInteger Integer) Merge.kif 2009-2009
(subclass NegativeInteger Integer) Merge.kif 2034-2034
(subclass NonnegativeInteger Integer) Merge.kif 2024-2024
(subclass OddInteger Integer) Merge.kif 2014-2014
(subclass PrimeNumber Integer) Merge.kif 2019-2019
(termFormat ChineseLanguage Integer "整数") chinese_format.kif 866-866
(termFormat EnglishLanguage Integer "integer") english_format.kif 553-553
(termFormat FrenchLanguage Integer "nombre entier") french_format.kif 542-542
(termFormat Hindi Integer "pUrNaanka") terms-hindi.txt 72-72
(termFormat ItalianLanguage Integer "NumeroIntero") terms-it.txt 73-73
(termFormat PortugueseLanguage Integer "Numero Inteiro") portuguese_format.kif 494-494

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 4947-4947
(domain PredecessorFn 1 Integer) Merge.kif 5391-5391
(domain SuccessorFn 1 Integer) Merge.kif 5357-5357
(domain YearFn 1 Integer) Merge.kif 8614-8614
(domain capacityByArrangement 3 Integer) Hotel.kif 757-757
(domain coilCount 2 Integer) Cars.kif 3125-3125
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135
(domain criticalityLevel 2 Integer) QoSontology.kif 642-642
(domain defaultMaxValue 2 Integer) Merge.kif 18690-18690
(domain defaultMinValue 2 Integer) Merge.kif 18676-18676
(domain defaultValue 2 Integer) Merge.kif 18704-18704
(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 maxCardinality 2 Integer) Media.kif 2190-2190
(domain maxCardinality 3 Integer) Media.kif 2191-2191
(domain maxRoomCapacity 2 Integer) Hotel.kif 450-450
(domain maxValue 2 Integer) Merge.kif 18661-18661
(domain memberCount 2 Integer) Mid-level-ontology.kif 20110-20110
(domain minCardinality 2 Integer) Media.kif 2154-2154
(domain minCardinality 3 Integer) Media.kif 2155-2155
(domain minValue 2 Integer) Merge.kif 18647-18647
(domain molecularRatio 2 Integer) Cars.kif 1805-1805
(domain multiplicativeFactor 1 Integer) Merge.kif 5016-5016
(domain multiplicativeFactor 2 Integer) Merge.kif 5017-5017

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (instance ?INT1 Integer)
        (instance ?INT2 Integer))
    (not
        (and
            (lessThan ?INT1 ?INT2)
            (lessThan ?INT2
                (SuccessorFn ?INT1)))))
Merge.kif 5372-5379
(=>
    (and
        (instance ?INT1 Integer)
        (instance ?INT2 Integer))
    (not
        (and
            (lessThan ?INT2 ?INT1)
            (lessThan
                (PredecessorFn ?INT1) ?INT2))))
Merge.kif 5406-5413
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5385-5387
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5381-5383
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5402-5404
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5368-5370

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


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3459-3463
(=>
    (equal
        (CeilingFn ?NUMBER) ?INT)
    (not
        (exists (?OTHERINT)
            (and
                (instance ?OTHERINT Integer)
                (greaterThanOrEqualTo ?OTHERINT ?NUMBER)
                (lessThan ?OTHERINT ?INT)))))
Merge.kif 4915-4922
(=>
    (equal
        (FloorFn ?NUMBER) ?INT)
    (not
        (exists (?OTHERINT)
            (and
                (instance ?OTHERINT Integer)
                (lessThanOrEqualTo ?OTHERINT ?NUMBER)
                (greaterThan ?OTHERINT ?INT)))))
Merge.kif 4963-4970
(=>
    (instance ?NUMBER RationalNumber)
    (exists (?INT1 ?INT2)
        (and
            (instance ?INT1 Integer)
            (instance ?INT2 Integer)
            (equal ?NUMBER
                (DivisionFn ?INT1 ?INT2)))))
Merge.kif 4876-4882
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 5019-5024


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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