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

Formal Language: 



KB Term:  Term intersection
English Word: 

  partyToAgreement

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
(termFormat ItalianLanguage Integer "NumeroIntero") terms-it.txt 73-73

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 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