TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Integer ChineseLanguage "这是一个负或非负的整数。")	chinese_format.kif 1748-1748
(documentation Integer EnglishLanguage "A negative or nonnegative whole number.")	Merge.kif 1958-1958
(documentation Integer JapaneseLanguage "負または非負の整数。")	japanese_format.kif 356-356
(partition Integer NegativeInteger NonnegativeInteger)	Merge.kif 1956-1956	O conceito Numero Inteiro e' completamente decomposto em Inteiro negativo + Numero Inteiro nao-negativo
(partition Integer OddInteger EvenInteger)	Merge.kif 1955-1955	O conceito Numero Inteiro e' completamente decomposto em Inteiro Impar + Inteiro Par
(subclass Integer RationalNumber)	Merge.kif 1954-1954	Numero Inteiro e' uma sub-classe de Numero Racional

appearance as argument number 2

(range AvailableForMilitaryServiceMaleFn Integer)	Military.kif 866-866	O contra-dominio de AvailableForMilitaryServiceMaleFn e' uma instancia de Numero Inteiro
(range CardinalityFn Integer)	Merge.kif 5509-5509	O contra-dominio de CardinalityFn e' uma instancia de Numero Inteiro
(range CeilingFn Integer)	Merge.kif 4784-4784	O contra-dominio de CeilingFn e' uma instancia de Numero Inteiro
(range DenominatorFn Integer)	Merge.kif 4811-4811	O contra-dominio de DenominatorFn e' uma instancia de Numero Inteiro
(range FitForMilitaryServiceMaleFn Integer)	Military.kif 888-888	O contra-dominio de FitForMilitaryServiceMaleFn e' uma instancia de Numero Inteiro
(range FloorFn Integer)	Merge.kif 4829-4829	O contra-dominio de FloorFn e' uma instancia de Numero Inteiro
(range GreatestCommonDivisorFn Integer)	Merge.kif 4847-4847	O contra-dominio de GreatestCommonDivisorFn e' uma instancia de Numero Inteiro
(range LeastCommonMultipleFn Integer)	Merge.kif 4932-4932	O contra-dominio de LeastCommonMultipleFn e' uma instancia de Numero Inteiro
(range NumeratorFn Integer)	Merge.kif 5037-5037	O contra-dominio de NumeratorFn e' uma instancia de Numero Inteiro
(range PopulationFn Integer)	Mid-level-ontology.kif 31693-31693	O contra-dominio de PopulationFn e' uma instancia de Numero Inteiro
(range PredecessorFn Integer)	Merge.kif 5335-5335	O contra-dominio de PredecessorFn e' uma instancia de Numero Inteiro
(range ReachingMilitaryAgeAnnuallyMaleFn Integer)	Military.kif 926-926	O contra-dominio de ReachingMilitaryAgeAnnuallyMaleFn e' uma instancia de Numero Inteiro
(range RemainderFn Integer)	Merge.kif 5098-5098	O contra-dominio de RemainderFn e' uma instancia de Numero Inteiro
(range SignumFn Integer)	Merge.kif 5190-5190	O contra-dominio de SignumFn e' uma instancia de Numero Inteiro
(range SuccessorFn Integer)	Merge.kif 5302-5302	O contra-dominio de SuccessorFn e' uma instancia de Numero Inteiro
(subclass EvenInteger Integer)	Merge.kif 1960-1960	Inteiro Par e' uma sub-classe de Numero Inteiro
(subclass NegativeInteger Integer)	Merge.kif 1985-1985	Inteiro negativo e' uma sub-classe de Numero Inteiro
(subclass NonnegativeInteger Integer)	Merge.kif 1975-1975	Numero Inteiro nao-negativo e' uma sub-classe de Numero Inteiro
(subclass OddInteger Integer)	Merge.kif 1965-1965	Inteiro Impar e' uma sub-classe de Numero Inteiro
(subclass PrimeNumber Integer)	Merge.kif 1970-1970	Numero Primo e' uma sub-classe de Numero Inteiro
(termFormat ChineseLanguage Integer "整数")	chinese_format.kif 866-866
(termFormat EnglishLanguage Integer "integer")	english_format.kif 934-934
(termFormat FrenchLanguage Integer "nombre entier")	french_format.kif 542-542
(termFormat Hindi Integer "pUrNaanka")	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

(domain ExponentiationFn 2 Integer)	Merge.kif 4820-4820	O argumento numero 2 de ExponentiationFn e' uma instancia de Numero Inteiro
(domain GreatestCommonDivisorFn 1 Integer)	Merge.kif 4848-4848	O argumento numero 1 de GreatestCommonDivisorFn e' uma instancia de Numero Inteiro
(domain LeastCommonMultipleFn 1 Integer)	Merge.kif 4933-4933	O argumento numero 1 de LeastCommonMultipleFn e' uma instancia de Numero Inteiro
(domain PredecessorFn 1 Integer)	Merge.kif 5334-5334	O argumento numero 1 de PredecessorFn e' uma instancia de Numero Inteiro
(domain RemainderFn 1 Integer)	Merge.kif 5096-5096	O argumento numero 1 de RemainderFn e' uma instancia de Numero Inteiro
(domain RemainderFn 2 Integer)	Merge.kif 5097-5097	O argumento numero 2 de RemainderFn e' uma instancia de Numero Inteiro
(domain SubListFn 1 Integer)	Merge.kif 3161-3161	O argumento numero 1 de SubListFn e' uma instancia de Numero Inteiro
(domain SubListFn 2 Integer)	Merge.kif 3162-3162	O argumento numero 2 de SubListFn e' uma instancia de Numero Inteiro
(domain SuccessorFn 1 Integer)	Merge.kif 5301-5301	O argumento numero 1 de SuccessorFn e' uma instancia de Numero Inteiro
(domain YearFn 1 Integer)	Merge.kif 8555-8555	O argumento numero 1 de YearFn e' uma instancia de Numero Inteiro
(domain airQualityIndex 2 Integer)	Weather.kif 3093-3093	O argumento numero 2 de airQualityIndex e' uma instancia de Numero Inteiro
(domain breathingRate 3 Integer)	Mid-level-ontology.kif 10379-10379	O argumento numero 3 de breathingRate e' uma instancia de Numero Inteiro
(domain capacityByArrangement 3 Integer)	Hotel.kif 788-788	O argumento numero 3 de capacityByArrangement e' uma instancia de Numero Inteiro
(domain chromosomeNumber 2 Integer)	VirusProteinAndCellPart.kif 699-699	O argumento numero 2 de chromosomeNumber e' uma instancia de Numero Inteiro
(domain chromosomeSetCount 3 Integer)	VirusProteinAndCellPart.kif 825-825	O argumento numero 3 de chromosomeSetCount e' uma instancia de Numero Inteiro
(domain coilCount 2 Integer)	Cars.kif 3113-3113	O argumento numero 2 de coilCount e' uma instancia de Numero Inteiro
(domain communicationSatelliteForArea 3 Integer)	Communications.kif 135-135	O argumento numero 3 de communicationSatelliteForArea e' uma instancia de Numero Inteiro
(domain criticalityLevel 2 Integer)	QoSontology.kif 644-644	O argumento numero 2 de criticalityLevel e' uma instancia de Numero Inteiro
(domain defaultMaxValue 2 Integer)	Merge.kif 18441-18441	O argumento numero 2 de defaultMaxValue e' uma instancia de Numero Inteiro
(domain defaultMinValue 2 Integer)	Merge.kif 18424-18424	O argumento numero 2 de defaultMinValue e' uma instancia de Numero Inteiro
(domain defaultValue 2 Integer)	Merge.kif 18458-18458	O argumento numero 2 de defaultValue e' uma instancia de Numero Inteiro
(domain exactCardinality 2 Integer)	Media.kif 2070-2070	O argumento numero 2 de exactCardinality e' uma instancia de Numero Inteiro
(domain exactCardinality 3 Integer)	Media.kif 2071-2071	O argumento numero 3 de exactCardinality e' uma instancia de Numero Inteiro
(domain fleetSize 2 Integer)	Mid-level-ontology.kif 3522-3522	O argumento numero 2 de fleetSize e' uma instancia de Numero Inteiro
(domain haploidNumber 2 Integer)	VirusProteinAndCellPart.kif 790-790	O argumento numero 2 de haploidNumber e' uma instancia de Numero Inteiro

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (instance ?NUMBER Integer) (not (equal ?NUMBER 0))) (equal 1 (MultiplicationFn ?NUMBER (ReciprocalFn ?NUMBER))))	Merge.kif 5086-5091	Numero Real e' uma instancia de Numero Inteiro Numero Real e' igual a 0 1 e' igual a Numero Real + o reciproco de Numero Real
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30956-30971	shortage Agente Cognitivo, Objeto, Medida de Divisa, Intervalo Temporal and Quantidade Quantidade e' uma instancia de Numero Inteiro Agente Cognitivo deseja Entidade Entidade Entidade e' uma instancia de Comprar tempo de existencia de Entidade acontece durante Intervalo Temporal objectTransferred Entidade and Entidade transactionAmount Entidade and Medida de Divisa Entidade e' um agente de Agente Cognitivo Entidade e' uma instancia de Colecao memberType Entidade and Objeto memberCount Entidade and Quantidade Agente Cognitivo possui Entidade
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?G) (and (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30898-30908	shortage Agente Cognitivo, Objeto, Medida de Divisa, Intervalo Temporal and Quantidade Quantidade e' uma instancia de Numero Inteiro Agente Cognitivo deseja Entidade Entidade e' uma instancia de Colecao memberType Entidade and Objeto memberCount Entidade and Quantidade Agente Cognitivo possui Entidade
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (not (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30923-30938	shortage AutonomousAgent, Objeto, Medida de Divisa, Intervalo Temporal and Numero Inteiro Numero Inteiro e' uma instancia de Numero Inteiro Transferencia Colecao Transferencia e' uma instancia de Comprar tempo de existencia de Transferencia acontece durante Intervalo Temporal objectTransferred Transferencia and Colecao transactionAmount Transferencia and Medida de Divisa Transferencia e' um agente de AutonomousAgent Colecao e' uma instancia de Colecao memberType Colecao and Objeto memberCount Colecao and Numero Inteiro AutonomousAgent possui Colecao
(=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT))))	Merge.kif 5328-5330	Numero Inteiro e' uma instancia de Numero Inteiro Numero Inteiro e' igual a (( Numero Inteiro+1)+2)
(=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT))))	Merge.kif 5324-5326	Numero Inteiro e' uma instancia de Numero Inteiro Numero Inteiro e' igual a (( Numero Inteiro+2)+1)
(=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT)))	Merge.kif 5344-5346	Numero Inteiro e' uma instancia de Numero Inteiro Numero Inteiro e' maior que ( Numero Inteiro+2)
(=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT)))	Merge.kif 5311-5313	Numero Inteiro e' uma instancia de Numero Inteiro Numero Inteiro e' menos que ( Numero Inteiro+1)
(=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1)))	Merge.kif 5082-5084	Numero Real e' uma instancia de Numero Inteiro o reciproco de Numero Real e' igual a Numero Real elevado a potencia -1

consequent

(=> (and (birthdate ?A ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (birthday ?A ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 24236-24246	birthdate Humano and Dia Dia e' uma instancia de o dia Inteiro positivo Dia Numero Inteiro birthday Humano and Dia Dia e' uma sub-classe de Dia Numero Inteiro e' uma instancia de Numero Inteiro Dia e' igual a o dia Inteiro positivo Numero Inteiro e' maior que Numero Inteiro
(=> (and (instance ?MIT BarMitzvah) (patient ?MIT ?X) (instance ?X Boy) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13)))))	Biography.kif 69-85	Processo e' uma instancia de BarMitzvah Humano e' um patient de Processo Humano e' uma instancia de Boy Humano e' membro de Colecao Colecao e' uma instancia de Judaism birthdate Humano and Dia Dia e' uma instancia de o dia Inteiro positivo Numero Inteiro Posicao Temporal Numero Inteiro e' uma instancia de Numero Inteiro Numero Inteiro e' igual a ( Numero Inteiro + 13) Posicao Temporal e' uma instancia de o dia Inteiro positivo tempo de existencia de Processo e' igual a imediatemente apos Posicao Temporal
(=> (and (instance ?MIT BatMitzvah) (patient ?MIT ?X) (instance ?X Girl) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13)))))	Biography.kif 99-115	Processo e' uma instancia de BatMitzvah Humano e' um patient de Processo Humano e' uma instancia de Girl Humano e' membro de Colecao Colecao e' uma instancia de Judaism birthdate Humano and Dia Dia e' uma instancia de o dia Inteiro positivo Numero Inteiro Posicao Temporal Numero Inteiro e' uma instancia de Numero Inteiro Numero Inteiro e' igual a ( Numero Inteiro + 13) Posicao Temporal e' uma instancia de o dia Inteiro positivo tempo de existencia de Processo e' igual a imediatemente apos Posicao Temporal
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer))	Merge.kif 3392-3396	Funcao e' uma instancia de Funcao Sequencia o contra-dominio de Funcao e' uma instancia de Classe Classe e' uma sub-classe de Numero Inteiro
(=> (and (instance ?WED Wedding) (date ?WED ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (weddingAnniversary ?WED ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 24195-24206	Fisico e' uma instancia de Wedding a data de Fisico e' Dia Dia e' uma instancia de o dia Inteiro positivo Dia Numero Inteiro weddingAnniversary Fisico and Dia Dia e' uma sub-classe de Dia Numero Inteiro e' uma instancia de Numero Inteiro Dia e' igual a o dia Inteiro positivo Numero Inteiro e' maior que Numero Inteiro
(=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I)))))	Merge.kif 4899-4904	multiplicativeFactor Numero Inteiro and Numero Inteiro Numero Real Numero Real e' uma instancia de Numero Inteiro Numero Inteiro e' igual a Numero Inteiro + Numero Real

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

Show without tree

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: