Knowledge base Browser

appearance as argument number 1

(documentation Integer EnglishLanguage "A negative or nonnegative whole number.")	Merge.kif 1558-1558
(partition Integer NegativeInteger NonnegativeInteger)	Merge.kif 1557-1557	Integer is exhaustively partitioned into negative integer and nonnegative integer
(partition Integer OddInteger EvenInteger)	Merge.kif 1556-1556	Integer is exhaustively partitioned into odd integer and even integer
(subclass Integer RationalNumber)	Merge.kif 1555-1555	Integer is a subclass of rational number

appearance as argument number 2

(range AvailableForMilitaryServiceMaleFn Integer)	Military.kif 814-814	The range of available for military service male is an instance of integer
(range CeilingFn Integer)	Merge.kif 3763-3763	The range of ceiling is an instance of integer
(range DenominatorFn Integer)	Merge.kif 3787-3787	The range of denominator is an instance of integer
(range FitForMilitaryServiceMaleFn Integer)	Military.kif 836-836	The range of fit for military service male is an instance of integer
(range FloorFn Integer)	Merge.kif 3803-3803	The range of floor is an instance of integer
(range GreatestCommonDivisorFn Integer)	Merge.kif 3819-3819	The range of greatest common divisor is an instance of integer
(range LeastCommonMultipleFn Integer)	Merge.kif 3880-3880	The range of least common multiple is an instance of integer
(range NumeratorFn Integer)	Merge.kif 3962-3962	The range of numerator is an instance of integer
(range PopulationFn Integer)	People.kif 30-30	The range of population is an instance of integer
(range PredecessorFn Integer)	Merge.kif 4173-4173	The range of predecessor is an instance of integer
(range ReachingMilitaryAgeAnnuallyMaleFn Integer)	Military.kif 874-874	The range of reaching military age annually male is an instance of integer
(range SignumFn Integer)	Merge.kif 4067-4067	The range of signum is an instance of integer
(range SuccessorFn Integer)	Merge.kif 4141-4141	The range of successor is an instance of integer
(subclass EvenInteger Integer)	Merge.kif 1560-1560	Even integer is a subclass of integer
(subclass NegativeInteger Integer)	Merge.kif 1580-1580	Negative integer is a subclass of integer
(subclass NonnegativeInteger Integer)	Merge.kif 1572-1572	Nonnegative integer is a subclass of integer
(subclass OddInteger Integer)	Merge.kif 1564-1564	Odd integer is a subclass of integer
(subclass PrimeNumber Integer)	Merge.kif 1568-1568	Prime number is a subclass of integer
(termFormat EnglishLanguage Integer "integer")	english_format.kif 542-542	term format english language, integer and "integer"

appearance as argument number 3

(domain ExponentiationFn 2 Integer)	Merge.kif 3795-3795	The number 2 argument of exponentiation is an instance of integer
(domain PredecessorFn 1 Integer)	Merge.kif 4172-4172	The number 1 argument of predecessor is an instance of integer
(domain SuccessorFn 1 Integer)	Merge.kif 4140-4140	The number 1 argument of successor is an instance of integer
(domain YearFn 1 Integer)	Merge.kif 6947-6947	The number 1 argument of year is an instance of integer
(domain communicationSatelliteForArea 3 Integer)	Communications.kif 95-95	The number 3 argument of communication satellite for area is an instance of integer
(domain criticalityLevel 2 Integer)	QoSontology.kif 547-547	The number 2 argument of criticality level is an instance of integer
(domain exactCardinality 2 Integer)	Media.kif 1821-1821	The number 2 argument of exactCardinality is an instance of integer
(domain exactCardinality 3 Integer)	Media.kif 1822-1822	The number 3 argument of exactCardinality is an instance of integer
(domain maxCardinality 2 Integer)	Media.kif 1931-1931	The number 2 argument of maxCardinality is an instance of integer
(domain maxCardinality 3 Integer)	Media.kif 1932-1932	The number 3 argument of maxCardinality is an instance of integer
(domain memberCount 2 Integer)	Mid-level-ontology.kif 15588-15588	The number 2 argument of member count is an instance of integer
(domain minCardinality 2 Integer)	Media.kif 1897-1897	The number 2 argument of minCardinality is an instance of integer
(domain minCardinality 3 Integer)	Media.kif 1898-1898	The number 3 argument of minCardinality is an instance of integer
(domain multiplicativeFactor 1 Integer)	Merge.kif 3846-3846	The number 1 argument of multiplicative factor is an instance of integer
(domain multiplicativeFactor 2 Integer)	Merge.kif 3847-3847	The number 2 argument of multiplicative factor is an instance of integer
(domain seatsInOrganizationCount 2 Integer)	Government.kif 1906-1906	The number 2 argument of seats in organization count is an instance of integer
(domain seatsWonInElection 3 Integer)	Government.kif 1753-1753	The number 3 argument of seats won in election is an instance of integer
(domain splitFor 2 Integer)	FinancialOntology.kif 2069-2069	The number 2 argument of split for is an instance of integer
(domain splitFor 3 Integer)	FinancialOntology.kif 2070-2070	The number 3 argument of split for is an instance of integer
(domain yearOfFounding 2 Integer)	Mid-level-ontology.kif 737-737	The number 2 argument of year of founding is an instance of integer

antecedent

(=> (and (instance ?INT1 Integer) (instance ?INT2 Integer)) (not (and (lessThan ?INT1 ?INT2) (lessThan ?INT2 (SuccessorFn ?INT1)))))	Merge.kif 4153-4160	If an integer is an instance of integer and a quantity is an instance of integer then ~{ integer is less than quantity } or ~{ quantity is less than ( integer+1) }
(=> (and (instance ?INT1 Integer) (instance ?INT2 Integer)) (not (and (lessThan ?INT2 ?INT1) (lessThan (PredecessorFn ?INT1) ?INT2))))	Merge.kif 4185-4192	If an integer is an instance of integer and a quantity is an instance of integer then ~{ quantity is less than integer } or ~{ ( integer+2) is less than quantity }
(=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT))))	Merge.kif 4166-4168	If an integer is an instance of integer then integer is equal to (( integer+1)+2)
(=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT))))	Merge.kif 4162-4164	If an integer is an instance of integer then integer is equal to (( integer+2)+1)
(=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT)))	Merge.kif 4181-4183	If an integer is an instance of integer then integer is greater than ( integer+2)
(=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT)))	Merge.kif 4149-4151	If an integer is an instance of integer then integer is less than ( integer+1)

consequent

(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer))	Merge.kif 2652-2656	If a function is an instance of sequence function and the range of function is an instance of a set or class then set or class is a subclass of integer
(=> (equal (CeilingFn ?NUMBER) ?INT) (not (exists (?OTHERINT) (and (instance ?OTHERINT Integer) (greaterThanOrEqualTo ?OTHERINT ?NUMBER) (lessThan ?OTHERINT ?INT)))))	Merge.kif 3767-3774	If the ceiling of a real number is equal to an integer then there doesn't exist a quantity so that quantity is an instance of integer and quantity is greater than or equal to real number and quantity is less than integer
(=> (equal (FloorFn ?NUMBER) ?INT) (not (exists (?OTHERINT) (and (instance ?OTHERINT Integer) (lessThanOrEqualTo ?OTHERINT ?NUMBER) (greaterThan ?OTHERINT ?INT)))))	Merge.kif 3807-3814	If the largest integer less than or equal to a real number is equal to an integer then there doesn't exist a quantity so that quantity is an instance of integer and quantity is less than or equal to real number and quantity is greater than integer
(=> (instance ?NUMBER RationalNumber) (exists (?INT1 ?INT2) (and (instance ?INT1 Integer) (instance ?INT2 Integer) (equal ?NUMBER (DivisionFn ?INT1 ?INT2)))))	Merge.kif 3732-3738	If a quantity is an instance of rational number then there exist quantity and a quantity so that quantity is an instance of integer and quantity is an instance of integer and quantity is equal to quantity and quantity
(=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I)))))	Merge.kif 3849-3854	If an integer is a multiplicative factor of integer then there exists a quantity so that quantity is an instance of integer and integer is equal to integer and quantity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners

KB Term:

English Word: