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 "这是一个负或非负的整数。") Merge.kif 2017-2017
(documentation Integer EnglishLanguage "A negative or nonnegative whole number.") Merge.kif 2016-2016
(partition Integer NegativeInteger NonnegativeInteger) Merge.kif 2015-2015
(partition Integer OddInteger EvenInteger) Merge.kif 2014-2014
(subclass Integer RationalNumber) Merge.kif 2013-2013

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


(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 861-861
(range CardinalityFn Integer) Merge.kif 5604-5604
(range CeilingFn Integer) Merge.kif 4927-4927
(range DenominatorFn Integer) Merge.kif 4956-4956
(range FitForMilitaryServiceMaleFn Integer) Military.kif 883-883
(range FloorFn Integer) Merge.kif 4976-4976
(range GreatestCommonDivisorFn Integer) Merge.kif 4995-4995
(range LeastCommonMultipleFn Integer) Merge.kif 5074-5074
(range NumeratorFn Integer) Merge.kif 5173-5173
(range PopulationFn Integer) People.kif 30-30
(range PredecessorFn Integer) Merge.kif 5414-5414
(range ReachingMilitaryAgeAnnuallyMaleFn Integer) Military.kif 921-921
(range RemainderFn Integer) Merge.kif 5241-5241
(range SignumFn Integer) Merge.kif 5297-5297
(range SuccessorFn Integer) Merge.kif 5380-5380
(subclass EvenInteger Integer) Merge.kif 2019-2019
(subclass NegativeInteger Integer) Merge.kif 2044-2044
(subclass NonnegativeInteger Integer) Merge.kif 2034-2034
(subclass OddInteger Integer) Merge.kif 2024-2024
(subclass PrimeNumber Integer) Merge.kif 2029-2029
(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

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 4966-4966
(domain GreatestCommonDivisorFn 1 Integer) Merge.kif 4996-4996
(domain LeastCommonMultipleFn 1 Integer) Merge.kif 5075-5075
(domain PredecessorFn 1 Integer) Merge.kif 5413-5413
(domain RemainderFn 1 Integer) Merge.kif 5239-5239
(domain RemainderFn 2 Integer) Merge.kif 5240-5240
(domain SuccessorFn 1 Integer) Merge.kif 5379-5379
(domain YearFn 1 Integer) Merge.kif 8649-8649
(domain capacityByArrangement 3 Integer) Hotel.kif 757-757
(domain coilCount 2 Integer) Cars.kif 3084-3084
(domain communicationSatelliteForArea 3 Integer) Communications.kif 135-135
(domain criticalityLevel 2 Integer) QoSontology.kif 625-625
(domain defaultMaxValue 2 Integer) Merge.kif 18776-18776
(domain defaultMinValue 2 Integer) Merge.kif 18762-18762
(domain defaultValue 2 Integer) Merge.kif 18790-18790
(domain exactCardinality 2 Integer) Media.kif 2072-2072
(domain exactCardinality 3 Integer) Media.kif 2073-2073
(domain fleetSize 2 Integer) Mid-level-ontology.kif 4059-4059
(domain identityElement 2 Integer) Merge.kif 5356-5356
(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 18747-18747
(domain memberCount 2 Integer) Mid-level-ontology.kif 20471-20471
(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 5229-5234
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5407-5409
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5403-5405
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5424-5426
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5390-5392
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 5225-5227

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


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3469-3473
(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))
Merge.kif 5039-5044


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