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 1870-1870
No TPTP formula. May not be expressible in strict first order. Merge.kif 1868-1868 Integer is exhaustively partitioned into negative integer and nonnegative integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1867-1867 Integer is exhaustively partitioned into odd integer and even integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1866-1866 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 5234-5234 The range of cardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4608-4608 The range of ceiling is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4635-4635 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 4653-4653 The range of floor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4671-4671 The range of greatest common divisor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4744-4744 The range of least common multiple is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4838-4838 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 5065-5065 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 4899-4899 The range of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4953-4953 The range of signum is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5032-5032 The range of successor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1872-1872 Even integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1897-1897 Negative integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1887-1887 Nonnegative integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1877-1877 Odd integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 1882-1882 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 939-939

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4644-4644 The number 2 argument of exponentiation is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4672-4672 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 4745-4745 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 5064-5064 The number 1 argument of predecessor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4897-4897 The number 1 argument of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4898-4898 The number 2 argument of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 3053-3053 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 3054-3054 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 5031-5031 The number 1 argument of successor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 8044-8044 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 3127-3127 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 17121-17121 The number 2 argument of defaultMaxValue is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 17104-17104 The number 2 argument of defaultMinValue is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 17137-17137 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. Merge.kif 5009-5009 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
No TPTP formula. May not be expressible in strict first order. Merge.kif 17087-17087 The number 2 argument of maxValue 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 4887-4892
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27169-27184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27113-27123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27136-27151
No TPTP formula. May not be expressible in strict first order. Merge.kif 5058-5060
No TPTP formula. May not be expressible in strict first order. Merge.kif 5054-5056
No TPTP formula. May not be expressible in strict first order. Merge.kif 5074-5076
No TPTP formula. May not be expressible in strict first order. Merge.kif 5041-5043
No TPTP formula. May not be expressible in strict first order. Merge.kif 4883-4885

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3279-3283
No TPTP formula. May not be expressible in strict first order. Merge.kif 4711-4716


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