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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2007-2007
No TPTP formula. May not be expressible in strict first order. Merge.kif 2006-2006
No TPTP formula. May not be expressible in strict first order. Merge.kif 2005-2005 Integer is exhaustively partitioned into negative integer and nonnegative integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 2004-2004 Integer is exhaustively partitioned into odd integer and even integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 2003-2003 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 4909-4909 The range of ceiling is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4937-4937 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 4957-4957 The range of floor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4975-4975 The range of greatest common divisor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5054-5054 The range of least common multiple is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5153-5153 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 5392-5392 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 5275-5275 The range of signum is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5358-5358 The range of successor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 2009-2009 Even integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 2034-2034 Negative integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 2024-2024 Nonnegative integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 2014-2014 Odd integer is a subclass of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 2019-2019 Prime number is a subclass of integer
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 866-866 "整数" is the printable form of integer in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 553-553 "integer" is the printable form of integer in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 542-542 "nombre entier" is the printable form of integer in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 72-72 "pUrNaanka" is the printable form of integer in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 73-73 "NumeroIntero" is the printable form of integer in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 494-494 "Numero Inteiro" is the printable form of integer in portuguese language

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4947-4947 The number 2 argument of exponentiation is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5391-5391 The number 1 argument of predecessor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5357-5357 The number 1 argument of successor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 8614-8614 The number 1 argument of year is an instance of integer
No TPTP formula. May not be expressible in strict first order. Hotel.kif 757-757 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 3125-3125 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 18690-18690 The number 2 argument of defaultMaxValue is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 18676-18676 The number 2 argument of defaultMinValue is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 18704-18704 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 4055-4055 The number 2 argument of Fleet Size 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 450-450 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 18661-18661 The number 2 argument of maxValue is an instance of integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20110-20110 The number 2 argument of member count is an instance of integer
No TPTP formula. May not be expressible in strict first order. Media.kif 2154-2154 The number 2 argument of minCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Media.kif 2155-2155 The number 3 argument of minCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 18647-18647 The number 2 argument of minValue is an instance of integer
No TPTP formula. May not be expressible in strict first order. Cars.kif 1805-1805 The number 2 argument of molecularRatio is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5016-5016 The number 1 argument of multiplicative factor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5017-5017 The number 2 argument of multiplicative factor 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 5372-5379
No TPTP formula. May not be expressible in strict first order. Merge.kif 5406-5413
No TPTP formula. May not be expressible in strict first order. Merge.kif 5385-5387
No TPTP formula. May not be expressible in strict first order. Merge.kif 5381-5383
No TPTP formula. May not be expressible in strict first order. Merge.kif 5402-5404
No TPTP formula. May not be expressible in strict first order. Merge.kif 5368-5370

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3459-3463
No TPTP formula. May not be expressible in strict first order. Merge.kif 4915-4922
No TPTP formula. May not be expressible in strict first order. Merge.kif 4963-4970
No TPTP formula. May not be expressible in strict first order. Merge.kif 4876-4882
No TPTP formula. May not be expressible in strict first order. Merge.kif 5019-5024


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners