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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Integer

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1748-1748
No TPTP formula. May not be expressible in strict first order. Merge.kif 1906-1906
No TPTP formula. May not be expressible in strict first order. Merge.kif 1904-1904 Integer is exhaustively partitioned into negative integer and nonnegative integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1903-1903 Integer is exhaustively partitioned into odd integer and even integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1902-1902 Integer is a subclass of rational number

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


No TPTP formula. May not be expressible in strict first order. Military.kif 866-866 The range of available for military service male is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5417-5417 The range of cardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4696-4696 The range of ceiling is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4723-4723 The range of denominator is an instance of integer
No TPTP formula. May not be expressible in strict first order. Military.kif 888-888 The range of fit for military service male is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4741-4741 The range of floor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4759-4759 The range of greatest common divisor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4844-4844 The range of least common multiple is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4949-4949 The range of numerator is an instance of integer
No TPTP formula. May not be expressible in strict first order. People.kif 30-30 The range of population is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5243-5243 The range of predecessor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Military.kif 926-926 The range of reaching military age annually male is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5010-5010 The range of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5098-5098 The range of signum is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5210-5210 The range of successor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1908-1908 Even integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1933-1933 Negative integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1923-1923 Nonnegative integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1913-1913 Odd integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1918-1918 Prime number is a subclass of integer
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 866-866
No TPTP formula. May not be expressible in strict first order. english_format.kif 934-934

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4732-4732 The number 2 argument of exponentiation is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4760-4760 The number 1 argument of greatest common divisor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4845-4845 The number 1 argument of least common multiple is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5242-5242 The number 1 argument of predecessor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5008-5008 The number 1 argument of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5009-5009 The number 2 argument of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 3097-3097 The number 1 argument of sub-list function is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 3098-3098 The number 2 argument of sub-list function is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5209-5209 The number 1 argument of successor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 8465-8465 The number 1 argument of year is an instance of integer
No TPTP formula. May not be expressible in strict first order. Hotel.kif 788-788 The number 3 argument of capacity by arrangement is an instance of integer
No TPTP formula. May not be expressible in strict first order. Cars.kif 3113-3113 The number 2 argument of coilCount is an instance of integer
No TPTP formula. May not be expressible in strict first order. Communications.kif 135-135 The number 3 argument of communication satellite for area is an instance of integer
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 642-642 The number 2 argument of criticality level is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 18174-18174 The number 2 argument of defaultMaxValue is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 18157-18157 The number 2 argument of defaultMinValue is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 18191-18191 The number 2 argument of defaultValue is an instance of integer
No TPTP formula. May not be expressible in strict first order. Media.kif 2056-2056 The number 2 argument of exactCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Media.kif 2057-2057 The number 3 argument of exactCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3483-3483 The number 2 argument of Fleet Size is an instance of integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9955-9955 The number 3 argument of heartRate is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5187-5187 The number 2 argument of identity element is an instance of integer
No TPTP formula. May not be expressible in strict first order. Media.kif 2180-2180 The number 2 argument of maxCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Media.kif 2181-2181 The number 3 argument of maxCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Hotel.kif 477-477 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4998-5003
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30460-30475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30402-30412
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30427-30442
No TPTP formula. May not be expressible in strict first order. Merge.kif 5236-5238
No TPTP formula. May not be expressible in strict first order. Merge.kif 5232-5234
No TPTP formula. May not be expressible in strict first order. Merge.kif 5252-5254
No TPTP formula. May not be expressible in strict first order. Merge.kif 5219-5221
No TPTP formula. May not be expressible in strict first order. Merge.kif 4994-4996

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3328-3332
No TPTP formula. May not be expressible in strict first order. Merge.kif 4811-4816


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