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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Integer
Integer(integer)0, 1, 10, 100, 1000, 101, 105, 11, 110, 115, 12, 120, 125, 13, 130, 135, 14, 140, 145, 15, 150, 155, 16, 160, 165, 17, 170, 175, 18, 180, 19, 190, 2, 20, 200, 21, 22, 23, 24, 25, 26, 27, 28, 29, 3, 30, 300, 31, 32, 33...

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


s__documentation(s__Integer,s__ChineseLanguage,'"这是一个负或非负的整数。"')

chinese_format.kif 1748-1748
s__documentation(s__Integer,s__EnglishLanguage,'"A negative or nonnegative whole number."')

Merge.kif 1872-1872
s__partition__3(s__Integer,s__NegativeInteger,s__NonnegativeInteger)

Merge.kif 1870-1870 Integer is exhaustively partitioned into negative integer and nonnegative integer
s__partition__3(s__Integer,s__OddInteger,s__EvenInteger)

Merge.kif 1869-1869 Integer is exhaustively partitioned into odd integer and even integer
s__instance(s__Integer,s__SetOrClass)

s__subclass(s__Integer,s__RationalNumber)

s__instance(s__RationalNumber,s__SetOrClass)

Merge.kif 1868-1868 Integer is a subclass of rational number

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


s__range(s__AvailableForMilitaryServiceMaleFn__m,s__Integer)

Military.kif 861-861 The range of available for military service male is an instance of integer
s__range(s__CardinalityFn__m,s__Integer)

Merge.kif 5271-5271 The range of cardinality is an instance of integer
s__range(s__CeilingFn__m,s__Integer)

Merge.kif 4611-4611 The range of ceiling is an instance of integer
s__range(s__DenominatorFn__m,s__Integer)

Merge.kif 4638-4638 The range of denominator is an instance of integer
s__range(s__FitForMilitaryServiceMaleFn__m,s__Integer)

Military.kif 883-883 The range of fit for military service male is an instance of integer
s__range(s__FloorFn__m,s__Integer)

Merge.kif 4656-4656 The range of floor is an instance of integer
s__range(s__GreatestCommonDivisorFn__m,s__Integer)

Merge.kif 4674-4674 The range of greatest common divisor is an instance of integer
s__range(s__LeastCommonMultipleFn__m,s__Integer)

Merge.kif 4747-4747 The range of least common multiple is an instance of integer
s__range(s__NumeratorFn__m,s__Integer)

Merge.kif 4841-4841 The range of numerator is an instance of integer
s__range(s__PopulationFn__m,s__Integer)

People.kif 30-30 The range of population is an instance of integer
s__range(s__PredecessorFn__m,s__Integer)

Merge.kif 5102-5102 The range of predecessor is an instance of integer
s__range(s__ReachingMilitaryAgeAnnuallyMaleFn__m,s__Integer)

Military.kif 921-921 The range of reaching military age annually male is an instance of integer
s__range(s__RemainderFn__m,s__Integer)

Merge.kif 4902-4902 The range of remainder is an instance of integer
s__range(s__SignumFn__m,s__Integer)

Merge.kif 4956-4956 The range of signum is an instance of integer
s__range(s__SuccessorFn__m,s__Integer)

Merge.kif 5069-5069 The range of successor is an instance of integer
s__instance(s__Integer,s__SetOrClass)

s__instance(s__EvenInteger,s__SetOrClass)

s__subclass(s__EvenInteger,s__Integer)

Merge.kif 1874-1874 Even integer is a subclass of integer
s__subclass(s__NegativeInteger,s__Integer)

s__instance(s__Integer,s__SetOrClass)

s__instance(s__NegativeInteger,s__SetOrClass)

Merge.kif 1899-1899 Negative integer is a subclass of integer
s__instance(s__Integer,s__SetOrClass)

s__instance(s__NonnegativeInteger,s__SetOrClass)

s__subclass(s__NonnegativeInteger,s__Integer)

Merge.kif 1889-1889 Nonnegative integer is a subclass of integer
s__subclass(s__OddInteger,s__Integer)

s__instance(s__Integer,s__SetOrClass)

s__instance(s__OddInteger,s__SetOrClass)

Merge.kif 1879-1879 Odd integer is a subclass of integer
s__subclass(s__PrimeNumber,s__Integer)

s__instance(s__Integer,s__SetOrClass)

s__instance(s__PrimeNumber,s__SetOrClass)

Merge.kif 1884-1884 Prime number is a subclass of integer
s__termFormat(s__ChineseLanguage,s__Integer,'"整数"')

chinese_format.kif 866-866
s__termFormat(s__EnglishLanguage,s__Integer,'"integer"')

english_format.kif 939-939

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


s__domain(s__ExponentiationFn__m,n__2,s__Integer)

Merge.kif 4647-4647 The number 2 argument of exponentiation is an instance of integer
s__domain(s__GreatestCommonDivisorFn__m,n__1,s__Integer)

Merge.kif 4675-4675 The number 1 argument of greatest common divisor is an instance of integer
s__domain(s__LeastCommonMultipleFn__m,n__1,s__Integer)

Merge.kif 4748-4748 The number 1 argument of least common multiple is an instance of integer
s__domain(s__PredecessorFn__m,n__1,s__Integer)

Merge.kif 5101-5101 The number 1 argument of predecessor is an instance of integer
s__domain(s__RemainderFn__m,n__1,s__Integer)

Merge.kif 4900-4900 The number 1 argument of remainder is an instance of integer
s__domain(s__RemainderFn__m,n__2,s__Integer)

Merge.kif 4901-4901 The number 2 argument of remainder is an instance of integer
s__domain(s__SubListFn__m,n__1,s__Integer)

Merge.kif 3056-3056 The number 1 argument of sub-list function is an instance of integer
s__domain(s__SubListFn__m,n__2,s__Integer)

Merge.kif 3057-3057 The number 2 argument of sub-list function is an instance of integer
s__domain(s__SuccessorFn__m,n__1,s__Integer)

Merge.kif 5068-5068 The number 1 argument of successor is an instance of integer
s__domain(s__YearFn__m,n__1,s__Integer)

Merge.kif 8165-8165 The number 1 argument of year is an instance of integer
s__domain(s__capacityByArrangement__m,n__3,s__Integer)

Hotel.kif 767-767 The number 3 argument of capacity by arrangement is an instance of integer
s__domain(s__coilCount__m,n__2,s__Integer)

Cars.kif 3113-3113 The number 2 argument of coilCount is an instance of integer
s__domain(s__communicationSatelliteForArea__m,n__3,s__Integer)

Communications.kif 135-135 The number 3 argument of communication satellite for area is an instance of integer
s__domain(s__criticalityLevel__m,n__2,s__Integer)

QoSontology.kif 642-642 The number 2 argument of criticality level is an instance of integer
s__domain(s__defaultMaxValue__m,n__2,s__Integer)

Merge.kif 17585-17585 The number 2 argument of defaultMaxValue is an instance of integer
s__domain(s__defaultMinValue__m,n__2,s__Integer)

Merge.kif 17568-17568 The number 2 argument of defaultMinValue is an instance of integer
s__domain(s__defaultValue__m,n__2,s__Integer)

Merge.kif 17601-17601 The number 2 argument of defaultValue is an instance of integer
s__domain(s__exactCardinality__m,n__2,s__Integer)

Media.kif 2072-2072 The number 2 argument of exactCardinality is an instance of integer
s__domain(s__exactCardinality__m,n__3,s__Integer)

Media.kif 2073-2073 The number 3 argument of exactCardinality is an instance of integer
s__domain(s__fleetSize__m,n__2,s__Integer)

Mid-level-ontology.kif 3456-3456 The number 2 argument of Fleet Size is an instance of integer
s__domain(s__heartRate__m,n__3,s__Integer)

Mid-level-ontology.kif 9493-9493 The number 3 argument of heartRate is an instance of integer
s__domain(s__identityElement__m,n__2,s__Integer)

Merge.kif 5046-5046 The number 2 argument of identity element is an instance of integer
s__domain(s__maxCardinality__m,n__2,s__Integer)

Media.kif 2190-2190 The number 2 argument of maxCardinality is an instance of integer
s__domain(s__maxCardinality__m,n__3,s__Integer)

Media.kif 2191-2191 The number 3 argument of maxCardinality is an instance of integer
s__domain(s__maxRoomCapacity__m,n__2,s__Integer)

Hotel.kif 457-457 The number 2 argument of maximum capacity is an instance of integer

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__NUMBER] :
   (((s__instance(V__NUMBER,s__Integer) &
         ~((V__NUMBER = n__0)))
       =>
       ((n__1 = s__MultiplicationFn(V__NUMBER,s__ReciprocalFn(V__NUMBER)))))
)
)

Merge.kif 4890-4895
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29652-29667
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29596-29606
( ! [V__O,V__A,V__C,V__T,V__N] :
   (((s__subclass(V__O,s__Object) &
         s__instance(V__O,s__SetOrClass) &
         s__instance(V__A,s__Agent) &
         s__instance(V__C,s__CurrencyMeasure) &
         s__instance(V__T,s__TimeInterval))
       =>
       (((s__shortage(V__A,V__O,V__C,V__T,V__N)
           &
           s__instance(V__N,s__Integer))
         =>
         (~(( ? [V__B, V__G] :
               ((s__instance(V__B,s__Buying) &
                   s__during(s__WhenFn(V__B)
                ,V__T)
               &
               s__objectTransferred(V__B,V__G)
             &
             s__transactionAmount(V__B,V__C)
           &
           s__agent(V__B,V__A)
         &
         s__instance(V__G,s__Collection) &
         s__memberType(V__G,V__O)
       &
       s__memberCount(V__G,V__N)
     &
     s__possesses(V__A,V__G)))))))))
)
)

Mid-level-ontology.kif 29619-29634
( ! [V__INT] :
   ((s__instance(V__INT,s__Integer) =>
       ((V__INT = s__PredecessorFn(s__SuccessorFn(V__INT)))))
)
)

Merge.kif 5095-5097
( ! [V__INT] :
   ((s__instance(V__INT,s__Integer) =>
       ((V__INT = s__SuccessorFn(s__PredecessorFn(V__INT)))))
)
)

Merge.kif 5091-5093
( ! [V__INT] :
   ((s__instance(V__INT,s__Integer) =>
       (s__greaterThan(V__INT,s__PredecessorFn(V__INT))))
)
)

Merge.kif 5111-5113
( ! [V__INT] :
   ((s__instance(V__INT,s__Integer) =>
       (s__lessThan(V__INT,s__SuccessorFn(V__INT))))
)
)

Merge.kif 5078-5080
( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__Integer) =>
       ((s__ReciprocalFn(V__NUMBER)
         = s__ExponentiationFn(V__NUMBER,n___1))))
)
)

Merge.kif 4886-4888

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


( ! [V__CLASS,V__SEQ] :
   ((s__instance(V__CLASS,s__Class) =>
       (((s__instance(V__SEQ,s__SequenceFunction) &
             s__range(V__SEQ,V__CLASS))
         =>
         (s__subclass(V__CLASS,s__Integer)))))
   )
)

Merge.kif 3282-3286
( ! [V__N1,V__N2] :
   (((s__instance(V__N1,s__Integer) &
         s__instance(V__N2,s__Integer))
       =>
       ((s__multiplicativeFactor(V__N1,V__N2)
         =>
         (( ? [V__I] :
             ((s__instance(V__I,s__Integer) &
                 (V__N2 = s__MultiplicationFn(V__N1,V__I)))))))))
)
)

Merge.kif 4714-4719


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 3.0 is open source software produced by Articulate Software and its partners