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


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 1935-1935
No TPTP formula. May not be expressible in strict first order. Merge.kif 1933-1933 Integer is exhaustively partitioned into negative integer and nonnegative integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1932-1932 Integer is exhaustively partitioned into odd integer and even integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1931-1931 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 5476-5476 The range of cardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4755-4755 The range of ceiling is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4782-4782 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 4800-4800 The range of floor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4818-4818 The range of greatest common divisor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4903-4903 The range of least common multiple is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5008-5008 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 5302-5302 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 5069-5069 The range of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5157-5157 The range of signum is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5269-5269 The range of successor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1937-1937 Even integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1962-1962 Negative integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1952-1952 Nonnegative integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1942-1942 Odd integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1947-1947 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 4791-4791 The number 2 argument of exponentiation is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4819-4819 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 4904-4904 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 5301-5301 The number 1 argument of predecessor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5067-5067 The number 1 argument of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5068-5068 The number 2 argument of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 3138-3138 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 3139-3139 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 5268-5268 The number 1 argument of successor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 8520-8520 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 coil count 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 644-644 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 18278-18278 The number 2 argument of default max value is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 18261-18261 The number 2 argument of default min value is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 18295-18295 The number 2 argument of default value is an instance of integer
No TPTP formula. May not be expressible in strict first order. Media.kif 2070-2070 The number 2 argument of exact cardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Media.kif 2071-2071 The number 3 argument of exact cardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3487-3487 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 10266-10266 The number 3 argument of heart rate is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5246-5246 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 2194-2194 The number 2 argument of max cardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Media.kif 2195-2195 The number 3 argument of max cardinality 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 5057-5062
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30872-30887
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30814-30824
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30839-30854
No TPTP formula. May not be expressible in strict first order. Merge.kif 5295-5297
No TPTP formula. May not be expressible in strict first order. Merge.kif 5291-5293
No TPTP formula. May not be expressible in strict first order. Merge.kif 5311-5313
No TPTP formula. May not be expressible in strict first order. Merge.kif 5278-5280
No TPTP formula. May not be expressible in strict first order. Merge.kif 5053-5055

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3369-3373
No TPTP formula. May not be expressible in strict first order. Merge.kif 4870-4875


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