Quantity - Sigma 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 8056-8056	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 8054-8054	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 31361-31361	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 18464-18464	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 13531-13531	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 13561-13561	O argumento numero 2 de defaultMeasure e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18447-18447	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 13500-13500	O argumento numero 2 de defaultMinimumMeasure e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18481-18481	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 24310-24310	O argumento numero 3 de equipmentCount e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18429-18429	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 30997-30997	O argumento numero 3 de memberMeasure e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18411-18411	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 30876-30876	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 30018-30048	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 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: