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	Quantit� est compl�tement d�compos� en FiniteQuantity + InfiniteQuantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1694-1694	Quantit� est une sous-classe de abstrait

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1670-1670	Abstrait est disjointement decompos� en quantit�, attribut, relation, proposition , + liste
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2843-2843	Le domaine de ConversionRateFn est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8056-8056	Le domaine de PerCapitaFn est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2874-2874	FiniteQuantity est une sous-classe de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2878-2878	InfiniteQuantity est une sous-classe de quantit�
No TPTP formula. May not be expressible in strict first order.	engineering.kif 293-293	MultipoleQuantity est une sous-classe de quantit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1824-1824	Nombre est une sous-classe de quantit�
No TPTP formula. May not be expressible in strict first order.	engineering.kif 74-74	PhysicalDimension est une sous-classe de quantit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2025-2025	Quantit� physique est une sous-classe de quantit�
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	Le nombre 1 argument de LiftFn est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4553-4553	Le nombre 2 argument de LiftFn est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8054-8054	Le nombre 1 argument de PerCapitaFn est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31361-31361	Le nombre 3 argument de allowableValue est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1040-1040	Le nombre 3 argument de benchmarkPerformance est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 224-224	Le nombre 1 argument de concentration est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 226-226	Le nombre 3 argument de concentration est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18464-18464	Le nombre 3 argument de defaultMaxValue est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13531-13531	Le nombre 2 argument de defaultMaximumMeasure est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13561-13561	Le nombre 2 argument de defaultMeasure est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18447-18447	Le nombre 3 argument de defaultMinValue est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13500-13500	Le nombre 2 argument de defaultMinimumMeasure est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18481-18481	Le nombre 3 argument de defaultValue est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24310-24310	Le nombre 3 argument de equipmentCount est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18429-18429	Le nombre 3 argument de maxValue est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30997-30997	Le nombre 3 argument de memberMeasure est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18411-18411	Le nombre 3 argument de minValue est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30876-30876	Le nombre 5 argument de shortage est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4533-4533	Le nombre 2 argument de total est une instance de quantit�

antecedent

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

UXExperimentalTerms.kif 4563-4571

Nombre r�el est une instance de quantit� nombre r�el est une instance de quantit�
LiftFn nombre r�el and nombre r�el est nombre r�el + nombre r�el) + nombre r�el

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30018-30048	Processus est une instance de BreakingRecord processus est un agent de AutonomousAgent ensemble classe, processus, point temporel, r�le d�pendant du cas, objet and entit� ensemble est une instance de ensemble AutonomousAgent est un ensemble classe est une sous-classe de processus objet est une instance de r�gion point temporel est une instance de point temporel entit� est une instance de quantit� processus est une instance de classe processus inclut une r�f�rence � entit� entit� inclut une r�f�rence � processus playsRoleInEvent AutonomousAgent, r�le d�pendant du cas and processus eventLocated processus and objet entit� entit� entit� est une instance de ensemble entit� est AutonomousAgent entit� est une instance de classe playsRoleInEvent entit�, r�le d�pendant du cas and entit� eventLocated entit� and objet pendant l'intervale entre point temporel et la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4540-4544	total classe and quantit� entit� est une instance de classe entit� est une instance de quantit�

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: