TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1708-1709
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1696-1698
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 311-312
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2872-2872	O conceito Quantidade e' completamente decomposto em FiniteQuantity + InfiniteQuantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1694-1694	Quantidade e' uma sub-classe de Abstrato

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1670-1670	Abstrato e' disjuntamente decomponivel em Quantidade, Atributo, Relacao, Proposicao, + Lista
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2843-2843	O contra-dominio de ConversionRateFn e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8057-8057	O contra-dominio de PerCapitaFn e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2874-2874	FiniteQuantity e' uma sub-classe de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2878-2878	InfiniteQuantity e' uma sub-classe de Quantidade
No TPTP formula. May not be expressible in strict first order.	engineering.kif 293-293	MultipoleQuantity e' uma sub-classe de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1824-1824	Numero e' uma sub-classe de Quantidade
No TPTP formula. May not be expressible in strict first order.	engineering.kif 74-74	PhysicalDimension e' uma sub-classe de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2025-2025	Quantidade Fisica e' uma sub-classe de Quantidade
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 854-854
No TPTP formula. May not be expressible in strict first order.	english_format.kif 910-910
No TPTP formula. May not be expressible in strict first order.	french_format.kif 530-530
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 61-61
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 64-64
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2215-2215
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 482-482
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 66-66
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 97-97
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 551-551
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 65-65

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4551-4551	O argumento numero 1 de LiftFn e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4553-4553	O argumento numero 2 de LiftFn e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8055-8055	O argumento numero 1 de PerCapitaFn e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31365-31365	O argumento numero 3 de allowableValue e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1040-1040	O argumento numero 3 de benchmarkPerformance e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 224-224	O argumento numero 1 de concentration e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 226-226	O argumento numero 3 de concentration e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18442-18442	O argumento numero 3 de defaultMaxValue e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13532-13532	O argumento numero 2 de defaultMaximumMeasure e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13562-13562	O argumento numero 2 de defaultMeasure e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18425-18425	O argumento numero 3 de defaultMinValue e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13501-13501	O argumento numero 2 de defaultMinimumMeasure e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18459-18459	O argumento numero 3 de defaultValue e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24311-24311	O argumento numero 3 de equipmentCount e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18407-18407	O argumento numero 3 de maxValue e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31009-31009	O argumento numero 3 de memberMeasure e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18389-18389	O argumento numero 3 de minValue e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30888-30888	O argumento numero 5 de shortage e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4533-4533	O argumento numero 2 de total e' uma instancia de Quantidade

antecedent

No TPTP formula. May not be expressible in strict first order.

UXExperimentalTerms.kif 4563-4571

Numero Real e' uma instancia de Quantidade Numero Real e' uma instancia de Quantidade
LiftFn Numero Real and Numero Real e' igual a ( Numero Real + Numero Real) + Numero Real

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30030-30060	Processo e' uma instancia de BreakingRecord Processo e' um agente de AutonomousAgent Conjunto Classe, Processo, Ponto no tempo, Role em Caso, Objeto and Entidade Conjunto e' uma instancia de Conjunto AutonomousAgent e' um elemento de Conjunto Classe e' uma sub-classe de Processo Objeto e' uma instancia de Regiao Ponto no tempo e' uma instancia de Ponto no tempo Entidade e' uma instancia de Quantidade Processo e' uma instancia de Classe Processo inclui uma referencia a Entidade Entidade inclui uma referencia a Processo playsRoleInEvent AutonomousAgent, Role em Caso and Processo eventLocated Processo and Objeto Entidade Entidade Entidade e' uma instancia de Conjunto Entidade e' igual a AutonomousAgent Entidade e' uma instancia de Classe playsRoleInEvent Entidade, Role em Caso and Entidade eventLocated Entidade and Objeto vale durante o intervalo entre Ponto no tempo e o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4540-4544	total Classe and Quantidade Entidade e' uma instancia de Classe Entidade e' uma instancia de Quantidade

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: