FunctionQuantity - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1790-1796
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2113-2121
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 406-411
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2111-2111	Function quantity is a subclass of physical quantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 813-813	Micrograms per kilogram is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2423-2423	Miles per hour is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1280-1280	The range of Acceleration fn is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6672-6672	The range of density is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2944-2944	The range of ten minute mean surface wind speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3049-3049	The range of one minute mean surface wind speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3014-3014	The range of two minute mean surface wind speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2979-2979	The range of three minute mean surface wind speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2625-2625	The range of three second mean surface wind speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6658-6658	The range of per is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2089-2089	The range of rotation fn is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6684-6684	The range of speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2759-2759	The range of three second gust speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6697-6697	The range of velocity is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10471-10471	The range of Vickers Hardness is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6292-6292	Area measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6233-6233	Composite unit of measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2123-2123	Unary constant function quantity is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6303-6303	Volume measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 882-882	Volume measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order.	english_format.kif 966-966	Volume measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order.	french_format.kif 558-558	Volume measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 88-88	Volume measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 91-91	Volume measure is a subclass of function quantity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1274-1274	The number 1 argument of Acceleration fn is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1163-1163	The number 2 argument of bandwidth of is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 502-502	The number 2 argument of contracted rental price is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 797-797	The number 2 argument of effective dose is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2543-2543	The number 2 argument of engine idle speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2865-2865	The number 2 argument of governor speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 844-844	The number 2 argument of lethal dose is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1439-1439	The number 2 argument of precipitation rate is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3552-3552	The number 3 argument of rainfall intensity is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 455-455	The number 2 argument of rental price is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3757-3757	The number 3 argument of snowfall intensity is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 771-771	The number 2 argument of sound frequency is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2850-2850	The number 2 argument of speed scale attribute min max is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2851-2851	The number 3 argument of speed scale attribute min max is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1851-1851	The number 2 argument of top speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33283-33283	The number 2 argument of transformer capacity is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 398-398	The number 2 argument of unit price is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33191-33191	The number 2 argument of primary voltage rating is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33234-33234	The number 2 argument of seconary voltage rating is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2299-2299	The number 2 argument of yield is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2037-2037	Physical quantity is exhaustively partitioned into constant quantity and function quantity

antecedent

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

Mid-level-ontology.kif 18748-18774

If a function quantity amount as resource for the Process a process and the function quantity is an instance of function quantity and an object is a resource for the process and equal the function quantity and the per of a real number an unit of measure(s) and another real number another unit of measure(s) and duration of the time of existence of the process is a third real number the other unit of measure(s) and the measure of the object is a fourth real number the unit of measure(s) holds during the beginning of the time of existence of the process and the measure of the object is a physical quantity the unit of measure(s) holds during the end of the time of existence of the process,
then equal the physical quantity and (the fourth real number and the third real number and the real number and the other real number) the unit of measure(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2722-2727	If equal a list and Mean3SecondWindSpeedListFn ending at a time interval in region a geographic area and an entity is a member of the list, then the entity is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6250-6254	If an entity is an instance of a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure, then the entity is an instance of function quantity

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: