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 6210-6213
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 6208-6208	CompositeUnitOfMeasure e' uma sub-classe de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6207-6207	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 6720-6720	Ampere e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7040-7040	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 7349-7349	BritishThermalUnit e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7341-7341	Calorie e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6759-6759	Candela e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6912-6912	Coulomb e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7155-7155	ElectronVolt e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6937-6937	Farad e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7054-7054	Gray e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6990-6990	Henry e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6898-6898	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 6879-6879	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 7018-7018	Lumen e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7028-7028	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 1696-1696	MilesPerHour e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6861-6861	Newton e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6948-6948	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 6870-6870	Pascal e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7329-7329	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 13535-13544	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 13565-13574	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 13576-13585	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 13504-13513	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 6455-6459	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 6225-6229	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 6455-6459

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: