TreeView 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 1940-1955
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1938-1938	Physical quantity is exhaustively partitioned into constant quantity and function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1937-1937	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 6052-6052	The range of measure is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1957-1957	Constant quantity is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2012-2012	Function quantity is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1599-1599	Performance measure is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5900-5900	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
No TPTP formula. May not be expressible in strict first order.	english_format.kif 957-957

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6314-6314	The number 1 argument of magnitude is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6350-6350	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 6351-6351	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 6333-6333	The number 1 argument of UnitFn is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2109-2109	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 2153-2153	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 2199-2199	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 1977-1977	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.	ComputingBrands.kif 1518-1518	The number 2 argument of carrier frequency is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2741-2741	The number 2 argument of earthAltitude is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2099-2099	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 2142-2142	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 2187-2187	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 1967-1967	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 252-252	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 2007-2007	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 70-70	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 215-215	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 203-203	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 7171-7171	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 229-229	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 2637-2637	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 resonantFrequency is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 134-134	The number 2 argument of surface wind speed 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.	Mid-level-ontology.kif 27186-27200	If there is a shortage of an entity of another entity for a cognitive agent at a third entity during a fourth entity and the entity is an instance of physical quantity, then the cognitive agent desires there exist a fifth entity and a sixth entity such that the fifth entity is an instance of buying and the time of existence of the fifth entity takes place during the fourth entity and the object transferred in the fifth entity is the sixth entity and the third entity is a transaction amount of the fifth entity and the cognitive agent is an agent of the fifth entity and the sixth entity is an instance of the other entity and the measure of the sixth entity is the entity and the cognitive agent possesses the sixth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27125-27134	If there is a shortage of an entity of another entity for a cognitive agent at a third entity during a fourth entity and the entity is an instance of physical quantity, then the cognitive agent desires there exists a fifth entity such that the fifth entity is an instance of the other entity and the measure of the other entity is the entity and the cognitive agent possesses the fifth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27153-27167	If there is a shortage of a physical quantity of a class 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 an 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 object and the currency measure is a transaction amount of the transfer and the agent is an agent of the transfer and the object is an instance of the class and the measure of the object is the physical quantity and the agent possesses the object

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1783-1787	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 10038-10043	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 10067-10072	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: