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 2865-2865	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 8084-8084	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 2867-2867	FiniteQuantity e' uma sub-classe de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2871-2871	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 8082-8082	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 31397-31397	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 18521-18521	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 13559-13559	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 13589-13589	O argumento numero 2 de defaultMeasure e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18504-18504	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 13528-13528	O argumento numero 2 de defaultMinimumMeasure e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18538-18538	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 24368-24368	O argumento numero 3 de equipmentCount e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18486-18486	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 31033-31033	O argumento numero 3 de memberMeasure e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18468-18468	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 30912-30912	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 30054-30084	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: