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 1876-1876
No TPTP formula. May not be expressible in strict first order. Merge.kif 1874-1874 Integer is exhaustively partitioned into negative integer and nonnegative integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1873-1873 Integer is exhaustively partitioned into odd integer and even integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1872-1872 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 861-861 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 5276-5276 The range of cardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4617-4617 The range of ceiling is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4644-4644 The range of denominator is an instance of integer
No TPTP formula. May not be expressible in strict first order. Military.kif 883-883 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 4662-4662 The range of floor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4680-4680 The range of greatest common divisor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4753-4753 The range of least common multiple is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4847-4847 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 5107-5107 The range of predecessor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Military.kif 921-921 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 4908-4908 The range of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4962-4962 The range of signum is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5074-5074 The range of successor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1878-1878 Even integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1903-1903 Negative integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1893-1893 Nonnegative integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1883-1883 Odd integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1888-1888 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 4653-4653 The number 2 argument of exponentiation is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4681-4681 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 4754-4754 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 5106-5106 The number 1 argument of predecessor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4906-4906 The number 1 argument of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4907-4907 The number 2 argument of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 3058-3058 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 3059-3059 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 5073-5073 The number 1 argument of successor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 8230-8230 The number 1 argument of year is an instance of integer
No TPTP formula. May not be expressible in strict first order. Hotel.kif 767-767 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 17805-17805 The number 2 argument of defaultMaxValue is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 17788-17788 The number 2 argument of defaultMinValue is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 17822-17822 The number 2 argument of defaultValue is an instance of integer
No TPTP formula. May not be expressible in strict first order. Media.kif 2072-2072 The number 2 argument of exactCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Media.kif 2073-2073 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 3455-3455 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 9879-9879 The number 3 argument of heartRate is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5051-5051 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 2190-2190 The number 2 argument of maxCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Media.kif 2191-2191 The number 3 argument of maxCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4896-4901
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30304-30319
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30248-30258
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30271-30286
No TPTP formula. May not be expressible in strict first order. Merge.kif 5100-5102
No TPTP formula. May not be expressible in strict first order. Merge.kif 5096-5098
No TPTP formula. May not be expressible in strict first order. Merge.kif 5116-5118
No TPTP formula. May not be expressible in strict first order. Merge.kif 5083-5085
No TPTP formula. May not be expressible in strict first order. Merge.kif 4892-4894

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3284-3288
No TPTP formula. May not be expressible in strict first order. Merge.kif 4720-4725


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