TreeView 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	O conceito Numero Inteiro e' completamente decomposto em Inteiro negativo + Numero Inteiro nao-negativo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1955-1955	O conceito Numero Inteiro e' completamente decomposto em Inteiro Impar + Inteiro Par
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1954-1954	Numero Inteiro e' uma sub-classe de Numero Racional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 866-866	O contra-dominio de AvailableForMilitaryServiceMaleFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5509-5509	O contra-dominio de CardinalityFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4784-4784	O contra-dominio de CeilingFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4811-4811	O contra-dominio de DenominatorFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Military.kif 888-888	O contra-dominio de FitForMilitaryServiceMaleFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4829-4829	O contra-dominio de FloorFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4847-4847	O contra-dominio de GreatestCommonDivisorFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4932-4932	O contra-dominio de LeastCommonMultipleFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5037-5037	O contra-dominio de NumeratorFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31693-31693	O contra-dominio de PopulationFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5335-5335	O contra-dominio de PredecessorFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Military.kif 926-926	O contra-dominio de ReachingMilitaryAgeAnnuallyMaleFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5098-5098	O contra-dominio de RemainderFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5190-5190	O contra-dominio de SignumFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5302-5302	O contra-dominio de SuccessorFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1960-1960	Inteiro Par e' uma sub-classe de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1985-1985	Inteiro negativo e' uma sub-classe de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1975-1975	Numero Inteiro nao-negativo e' uma sub-classe de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1965-1965	Inteiro Impar e' uma sub-classe de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1970-1970	Numero Primo e' uma sub-classe de Numero Inteiro
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	O argumento numero 2 de ExponentiationFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4848-4848	O argumento numero 1 de GreatestCommonDivisorFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4933-4933	O argumento numero 1 de LeastCommonMultipleFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5334-5334	O argumento numero 1 de PredecessorFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5096-5096	O argumento numero 1 de RemainderFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5097-5097	O argumento numero 2 de RemainderFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3161-3161	O argumento numero 1 de SubListFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3162-3162	O argumento numero 2 de SubListFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5301-5301	O argumento numero 1 de SuccessorFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8555-8555	O argumento numero 1 de YearFn e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3093-3093	O argumento numero 2 de airQualityIndex e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10379-10379	O argumento numero 3 de breathingRate e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 788-788	O argumento numero 3 de capacityByArrangement e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 699-699	O argumento numero 2 de chromosomeNumber e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 825-825	O argumento numero 3 de chromosomeSetCount e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3113-3113	O argumento numero 2 de coilCount e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Communications.kif 135-135	O argumento numero 3 de communicationSatelliteForArea e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 644-644	O argumento numero 2 de criticalityLevel e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18441-18441	O argumento numero 2 de defaultMaxValue e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18424-18424	O argumento numero 2 de defaultMinValue e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18458-18458	O argumento numero 2 de defaultValue e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Media.kif 2070-2070	O argumento numero 2 de exactCardinality e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Media.kif 2071-2071	O argumento numero 3 de exactCardinality e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3522-3522	O argumento numero 2 de fleetSize e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5328-5330	Numero Inteiro e' uma instancia de Numero Inteiro Numero Inteiro e' igual a (( Numero Inteiro+1)+2)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5324-5326	Numero Inteiro e' uma instancia de Numero Inteiro Numero Inteiro e' igual a (( Numero Inteiro+2)+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5344-5346	Numero Inteiro e' uma instancia de Numero Inteiro Numero Inteiro e' maior que ( Numero Inteiro+2)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5311-5313	Numero Inteiro e' uma instancia de Numero Inteiro Numero Inteiro e' menos que ( Numero Inteiro+1)
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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: