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 8057-8057	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 8055-8055	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 31365-31365	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 18442-18442	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 13532-13532	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 13562-13562	Le nombre 2 argument de defaultMeasure est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18425-18425	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 13501-13501	Le nombre 2 argument de defaultMinimumMeasure est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18459-18459	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 24311-24311	Le nombre 3 argument de equipmentCount est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18407-18407	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 31009-31009	Le nombre 3 argument de memberMeasure est une instance de quantit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18389-18389	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 30888-30888	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 30030-30060	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: