Integer(integer)

-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 18132-18132 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 22057-22057 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 2150-2150 The number 2 argument of minCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Media.kif 2151-2151 The number 3 argument of minCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 18114-18114 The number 2 argument of minValue is an instance of integer
No TPTP formula. May not be expressible in strict first order. Cars.kif 1769-1769 The number 2 argument of molecularRatio is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4800-4800 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 4801-4801 The number 2 argument of multiplicative factor is an instance of integer
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2831-2831 The number 2 argument of number of adult occupants is an instance of integer
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2870-2870 The number 2 argument of number of child occupants is an instance of integer
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2828-2828 The number 2 argument of number of occupants is an instance of integer
No TPTP formula. May not be expressible in strict first order. Hotel.kif 682-682 The number 2 argument of number of floors is an instance of integer
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2892-2892 The number 2 argument of number of senior occupants is an instance of integer
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2711-2711 The number 2 argument of room stay is an instance of integer
No TPTP formula. May not be expressible in strict first order. Government.kif 2053-2053 The number 2 argument of seats in organization count is an instance of integer
No TPTP formula. May not be expressible in strict first order. Government.kif 1890-1890 The number 3 argument of seats won in election is an instance of integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 919-919 The number 2 argument of year of founding is an instance of integer


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