PhysicalQuantity - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1759-1767
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2024-2039
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 368-378
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2022-2022	Physical quantity is exhaustively partitioned into constant quantity and function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2021-2021	Physical quantity is a subclass of quantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6360-6360	The range of measure is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2041-2041	Constant quantity is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2096-2096	Function quantity is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1660-1660	Performance measure is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6208-6208	Unit of measure is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 875-875	Unit of measure is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order.	english_format.kif 952-952	Unit of measure is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order.	french_format.kif 551-551	Unit of measure is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 81-81	Unit of measure is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 84-84	Unit of measure is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2236-2236	Unit of measure is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 503-503	Unit of measure is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 118-118	Unit of measure is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 377-377	Unit of measure is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 572-572	Unit of measure is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 85-85	Unit of measure is a subclass of physical quantity

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6640-6640	The number 1 argument of per is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6641-6641	The number 2 argument of per is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6621-6621	The number 1 argument of unit fn is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2345-2345	The number 2 argument of annual electricity consumption is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2389-2389	The number 2 argument of annual electricity export is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2435-2435	The number 2 argument of annual electricity import is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2213-2213	The number 2 argument of annual electricity production is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7887-7887	The number 2 argument of barometric pressure is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1549-1549	The number 2 argument of carrier frequency is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11790-11790	The number 2 argument of diastolic blood pressure is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2767-2767	The number 2 argument of earth altitude is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2335-2335	The number 2 argument of electricity consumption in period is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2378-2378	The number 2 argument of electricity export in period is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2423-2423	The number 2 argument of electricity import in period is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2203-2203	The number 2 argument of electricity production in period is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 986-986	The number 2 argument of fleet gross registered tonnage is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 240-240	The number 2 argument of high altitude wind velocity is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2132-2132	The number 2 argument of image resolution is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Food.kif 1664-1664	The number 3 argument of amount of ingredient is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 203-203	The number 2 argument of low altitude wind speed is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 191-191	The number 2 argument of low altitude wind velocity is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7532-7532	The number 2 argument of measure is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 217-217	The number 2 argument of medium altitude wind velocity is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3161-3161	The number 2 argument of navigable for shipping tonnage is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 829-829	The number 2 argument of resonant frequency is an instance of physical quantity

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.	Merge.kif 6630-6636	If a physical quantity is an instance of physical quantity and an unit of measure is an instance of unit of measure and the physical quantity is equal to a real number the unit of measure(s), then the unit of the physical quantity is equal to the unit of measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32668-32682	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of physical quantity, then the cognitive agent desires there exist an entity and another entity such that the entity is an instance of buying and the time of existence of the entity takes place during the time interval and the object transferred in the entity is the other entity and the currency measure is a transaction amount of the entity and the cognitive agent is an agent of the entity and the other entity is an instance of a kind of object and the measure of the other entity is the quantity and the cognitive agent possesses the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32607-32616	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of physical quantity, then the cognitive agent desires there exists an entity such that the entity is an instance of a kind of object and the measure of the entity is the quantity and the cognitive agent possesses the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32635-32649	If there is a shortage of a physical quantity of a kind of object for an agent at a currency measure during a time interval and the physical quantity is an instance of physical quantity, then there don't exist a transfer and another object such that the transfer is an instance of buying and the time of existence of the transfer takes place during the time interval and the object transferred in the transfer is the other object and the currency measure is a transaction amount of the transfer and the agent is an agent of the transfer and the other object is an instance of a kind of object and the measure of the other object is the physical quantity and the agent possesses the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1766-1770	If a list is an instance of measuring result list and an entity is a member of the list, then the entity is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14601-14606	If an entity is an instance of chart, then there exists another entity such that the other entity is an instance of physical quantity and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14630-14635	If an entity is an instance of chart, then there exists another entity such that the other entity is an instance of physical quantity and the entity includes a reference to the other entity

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: