CompositeUnitOfMeasure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2397-2399
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6211-6214
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1078-1080
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6209-6209	CompositeUnitOfMeasure e' uma sub-classe de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6208-6208	CompositeUnitOfMeasure e' uma sub-classe de Unidade de Medida

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6721-6721	Ampere e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7041-7041	Becquerel e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 238-238	BitsPerSecond e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7350-7350	BritishThermalUnit e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7342-7342	Calorie e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6760-6760	Candela e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6913-6913	Coulomb e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7156-7156	ElectronVolt e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6938-6938	Farad e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7055-7055	Gray e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6991-6991	Henry e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6899-6899	Horsepower e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 254-254	InstructionsPerSecond e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6880-6880	Joule e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2000-2000	KilowattHour e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3924-3924	KnotUnitOfSpeed e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7019-7019	Lumen e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7029-7029	Lux e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	WMD.kif 812-812	McgPerKg e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1683-1683	MilesPerHour e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6862-6862	Newton e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6949-6949	Ohm e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 246-246	PacketsPerSecond e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6871-6871	Pascal e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7330-7330	PoundForce e' uma instancia de CompositeUnitOfMeasure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13563-13572	defaultMaximumMeasure Objeto and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de CompositeUnitOfMeasure o argumento Entidade Numero RealUANTITY Entidade e' uma instancia de Objeto a medida de Entidade e' Numero RealUANTITY Unidade de Medida(s) Numero RealUANTITY e' maior que Numero Real tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13593-13602	defaultMeasure Objeto and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de CompositeUnitOfMeasure o argumento Entidade Numero RealUANTITY Entidade e' uma instancia de Objeto a medida de Entidade e' Numero RealUANTITY Unidade de Medida(s) Numero RealUANTITY e' maior que Numero Real + 1.5 tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13604-13613	defaultMeasure Objeto and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de CompositeUnitOfMeasure o argumento Entidade Numero RealUANTITY Entidade e' uma instancia de Objeto a medida de Entidade e' Numero RealUANTITY Unidade de Medida(s) Numero RealUANTITY e' menos que Numero Real + .5 tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13532-13541	defaultMinimumMeasure Objeto and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de CompositeUnitOfMeasure o argumento Entidade Numero RealUANTITY Entidade e' uma instancia de Objeto a medida de Entidade e' Numero RealUANTITY Unidade de Medida(s) Numero RealUANTITY e' menos que Numero Real tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6456-6460	Entidade e' uma instancia de UnitOfMeasureMultiplier Entidade e' uma instancia de CompositeUnitOfMeasure Entidade Entidade e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6226-6230	Entidade e' uma instancia de Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de CompositeUnitOfMeasure Entidade e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1718-1736	topSpeed Vehicle and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de CompositeUnitOfMeasure Entidade e' uma instancia de UnitOfLength Entidade e' uma instancia de UnitOfDuration Numero Real e' igual a a probabilidade de a medida de Vehicle e' Medida de Comprimento Entidade(s) por Duracao Temporal Entidade(s) Numero Real e' igual a a probabilidade de a medida de Vehicle e' Medida de Comprimento Entidade(s) por Duracao Temporal Entidade(s) Medida de Comprimento por Duracao Temporal e' maior que Numero Real Numero Real e' maior que Medida de Comprimento por Duracao Temporal Numero Real e' maior que Numero Real

consequent

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

Merge.kif 6456-6460

Entidade e' uma instancia de UnitOfMeasureMultiplier Entidade e' uma instancia de CompositeUnitOfMeasure
Entidade Entidade e' uma instancia de CompositeUnitOfMeasure

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: