Integer - Sigma Knowledge base Browser

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 1958-1958
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 356-356
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1956-1956	Nombre entier est compl�tement d�compos� en nombre entier n�gatif + nombre entier non n�gatif
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1955-1955	Nombre entier est compl�tement d�compos� en nombre entier impair + nombre entier �gal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1954-1954	Nombre entier est une sous-classe de nombre rationnel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 866-866	Le domaine de AvailableForMilitaryServiceMaleFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5509-5509	Le domaine de CardinalityFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4784-4784	Le domaine de CeilingFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4811-4811	Le domaine de DenominatorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Military.kif 888-888	Le domaine de FitForMilitaryServiceMaleFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4829-4829	Le domaine de FloorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4847-4847	Le domaine de GreatestCommonDivisorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4932-4932	Le domaine de LeastCommonMultipleFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5037-5037	Le domaine de NumeratorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31689-31689	Le domaine de PopulationFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5335-5335	Le domaine de PredecessorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Military.kif 926-926	Le domaine de ReachingMilitaryAgeAnnuallyMaleFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5098-5098	Le domaine de RemainderFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5190-5190	Le domaine de SignumFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5302-5302	Le domaine de SuccessorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1960-1960	Nombre entier �gal est une sous-classe de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1985-1985	Nombre entier n�gatif est une sous-classe de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1975-1975	Nombre entier non n�gatif est une sous-classe de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1965-1965	Nombre entier impair est une sous-classe de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1970-1970	Nombre premier est une sous-classe de nombre entier
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
No TPTP formula. May not be expressible in strict first order.	french_format.kif 542-542
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 72-72

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 4820-4820	Le nombre 2 argument de ExponentiationFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4848-4848	Le nombre 1 argument de GreatestCommonDivisorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4933-4933	Le nombre 1 argument de LeastCommonMultipleFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5334-5334	Le nombre 1 argument de PredecessorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5096-5096	Le nombre 1 argument de RemainderFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5097-5097	Le nombre 2 argument de RemainderFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3161-3161	Le nombre 1 argument de SubListFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3162-3162	Le nombre 2 argument de SubListFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5301-5301	Le nombre 1 argument de SuccessorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8577-8577	Le nombre 1 argument de YearFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3089-3089	Le nombre 2 argument de airQualityIndex est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10378-10378	Le nombre 3 argument de breathingRate est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 788-788	Le nombre 3 argument de capacityByArrangement est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 698-698	Le nombre 2 argument de chromosomeNumber est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 824-824	Le nombre 3 argument de chromosomeSetCount est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3120-3120	Le nombre 2 argument de coilCount est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Communications.kif 135-135	Le nombre 3 argument de communicationSatelliteForArea est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 644-644	Le nombre 2 argument de criticalityLevel est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18463-18463	Le nombre 2 argument de defaultMaxValue est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18446-18446	Le nombre 2 argument de defaultMinValue est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18480-18480	Le nombre 2 argument de defaultValue est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Media.kif 2070-2070	Le nombre 2 argument de exactCardinality est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Media.kif 2071-2071	Le nombre 3 argument de exactCardinality est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3522-3522	Le nombre 2 argument de fleetSize est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 789-789	Le nombre 2 argument de haploidNumber est une instance de nombre entier

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 5086-5091	Nombre r�el est une instance de nombre entier nombre r�el est nombre r�el + le reciproque de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30944-30959	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de nombre entier agent cognitif desire entit� entit� entit� est une instance de acheter temps d'existence de entit� prend place pendant interval temporel objectTransferred entit� and entit� transactionAmount entit� and mesure de devise entit� est un agent de agent cognitif entit� est une instance de collection memberType entit� and objet memberCount entit� and quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30886-30896	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de nombre entier agent cognitif desire entit� entit� est une instance de collection memberType entit� and objet memberCount entit� and quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30911-30926	shortage AutonomousAgent, objet, mesure de devise, interval temporel and nombre entier nombre entier est une instance de nombre entier transf�re collection transf�re est une instance de acheter temps d'existence de transf�re prend place pendant interval temporel objectTransferred transf�re and collection transactionAmount transf�re and mesure de devise transf�re est un agent de AutonomousAgent collection est une instance de collection memberType collection and objet memberCount collection and nombre entier AutonomousAgent poss�de collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5328-5330	Nombre entier est une instance de nombre entier nombre entier est nombre entier+1)+2)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5324-5326	Nombre entier est une instance de nombre entier nombre entier est nombre entier+2)+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5344-5346	Nombre entier est une instance de nombre entier nombre entier est plus grand que ( nombre entier+2)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5311-5313	Nombre entier est une instance de nombre entier nombre entier est moins que ( nombre entier+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5082-5084	Nombre r�el est une instance de nombre entier le reciproque de nombre r�el est nombre r�el �lev� � la puissance -1

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24235-24245	birthdate humain and jour jour est une instance de le jour nombre entier positif jour nombre entier birthday humain and jour jour est une sous-classe de jour nombre entier est une instance de nombre entier jour est jour nombre entier positif nombre entier est plus grand que nombre entier
No TPTP formula. May not be expressible in strict first order.	Biography.kif 69-85	Processus est une instance de BarMitzvah humain est un patient de processus humain est une instance de Boy humain est un membre de collection collection est une instance de Judaism birthdate humain and jour jour est une instance de le jour nombre entier positif nombre entier position temporel nombre entier est une instance de nombre entier nombre entier est nombre entier + 13) position temporel est une instance de le jour nombre entier positif temps d'existence de processus est apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Biography.kif 99-115	Processus est une instance de BatMitzvah humain est un patient de processus humain est une instance de Girl humain est un membre de collection collection est une instance de Judaism birthdate humain and jour jour est une instance de le jour nombre entier positif nombre entier position temporel nombre entier est une instance de nombre entier nombre entier est nombre entier + 13) position temporel est une instance de le jour nombre entier positif temps d'existence de processus est apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3392-3396	Function est une instance de sequence function s�quence le domaine de function est une instance de classe classe est une sous-classe de nombre entier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24194-24205	Physique est une instance de Wedding la date de physique est jour jour est une instance de le jour nombre entier positif jour nombre entier weddingAnniversary physique and jour jour est une sous-classe de jour nombre entier est une instance de nombre entier jour est jour nombre entier positif nombre entier est plus grand que nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4899-4904	multiplicativeFactor nombre entier and nombre entier nombre r�el nombre r�el est une instance de nombre entier nombre entier est nombre entier + nombre r�el

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

KB Term:			Term intersection

English Word: