TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2394-2396
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6201-6206
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1074-1077
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6224-6224	Unit of measure is exhaustively partitioned into composite unit of measure and non composite unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6199-6199	Unit of measure is a subclass of physical quantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 853-853	Rad is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2076-2076	Revolutions per minute is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6498-6498	The range of giga is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6470-6470	The range of kilo is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6484-6484	The range of mega is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6540-6540	The range of micro is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6526-6526	The range of milli is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6554-6554	The range of nano is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6569-6569	The range of pico is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3965-3965	The range of square unit is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6512-6512	The range of tera is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6613-6613	The range of unit fn is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9895-9895	Acidity measure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6208-6208	Composite unit of measure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6216-6216	Non composite unit of measure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7450-7450	Sound pressure level unit is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6238-6238	Systeme international unit is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1301-1301
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1819-1819
No TPTP formula. May not be expressible in strict first order.	french_format.kif 979-979
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 514-514
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 518-518
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2663-2663
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 931-931

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.	Merge.kif 6497-6497	The number 1 argument of giga is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6469-6469	The number 1 argument of kilo is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6350-6350	The number 2 argument of measure is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6483-6483	The number 1 argument of mega is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6539-6539	The number 1 argument of micro is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6525-6525	The number 1 argument of milli is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6553-6553	The number 1 argument of nano is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6568-6568	The number 1 argument of pico is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3964-3964	The number 1 argument of square unit is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6511-6511	The number 1 argument of tera is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 900-900	The number 4 argument of component data ID is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6151-6151	The number 2 argument of graph measure is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Food.kif 1245-1245	The number 5 argument of mixture ratio is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 840-840	The number 2 argument of unit measuring performance is an instance of unit of measure

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	If family-style portions is an attribute of an object and the measure of the object is a real number an unit of measure(s) and family-style portions is not an attribute of another object and the measure of the other object is another real number the unit of measure(s) and the object is an instance of a class and the other object is an instance of the class and the unit of measure is an instance of unit of measure, then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1314-1348	If an entity is an instance of engine choke and device on is an attribute of the entity holds during a process and device off is an attribute of the entity holds during another process and a self connected object is an instance of engine cylinder and a constant quantity is a capacity of the self connected object and the process is an instance of four stroke compression and the other process is an instance of four stroke compression and the process is located at the self connected object and the other process is located at the self connected object and an object is an instance of air and another object is an instance of fuel and the object is a part of the constant quantityIX1 and the other object is a part of the constant quantityIX1 and the measure of the constant quantityIX1 is the constant quantity and a fourth object is an instance of air and a fifth object is an instance of fuel and the fourth object is a part of the constant quantityIX2 and the fifth object is a part of the constant quantityIX2 and the measure of the constant quantityIX2 is the constant quantity and an unit of measure is an instance of unit of measure and the measure of the object is the objectM the unit of measure(s) and the measure of the fourth object is the fourth objectM the unit of measure(s) and the measure of the other object is the other objectM the unit of measure(s) and the measure of the fifth object is the fifth objectM the unit of measure(s), then the fourth objectM and the fifth objectM is greater than the objectM and the other objectM
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2348-2367	If a process is an instance of hurricane and a speed scale attribute is an instance of Saffir Simpson Hurrican wind scale and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number the unit of measure(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the object
No TPTP formula. May not be expressible in strict first order.	Food.kif 1248-1262	If an object is an instance of mixture and an unit of measure is an instance of unit of measure and A Mixture containing a real number unit the unit of measure of a substance and another real number unit the unit of measure of another substance and the measure of the object is a third real number the unit of measure(s) and the substance is a part of the object and the other substance is a part of the object and the measure of the substance is the real number the unit of measure(s) and the measure of the other substance is the other real number the unit of measure(s), then the third real number is equal to (the real number and the other real number)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6621-6627	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.	Merge.kif 6504-6508	If an unit of measure is an instance of unit of measure and another unit of measure is equal to 1 billion the unit of measures, then 1 the other unit of measure(s) is equal to 1000000 1 thousand the unit of measures(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6476-6480	If an unit of measure is an instance of unit of measure and another unit of measure is equal to 1 thousand the unit of measures, then 1 the other unit of measure(s) is equal to 1000 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6490-6494	If an unit of measure is an instance of unit of measure and another unit of measure is equal to 1 million the unit of measures, then 1 the other unit of measure(s) is equal to 1000000 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6546-6550	If an unit of measure is an instance of unit of measure and another unit of measure is equal to one millionth of a the unit of measure, then 1 the other unit of measure(s) is equal to 0.000001 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6532-6536	If an unit of measure is an instance of unit of measure and another unit of measure is equal to one thousandth of a the unit of measure, then 1 the other unit of measure(s) is equal to 0.001 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6561-6565	If an unit of measure is an instance of unit of measure and another unit of measure is equal to one billionth of a the unit of measure, then 1 the other unit of measure(s) is equal to 0.000000001 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6576-6580	If an unit of measure is an instance of unit of measure and another unit of measure is equal to one trillionth of a the unit of measure, then 1 the other unit of measure(s) is equal to 0.000000000001 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6518-6522	If an unit of measure is an instance of unit of measure and another unit of measure is equal to 1 trillion the unit of measures, then 1 the other unit of measure(s) is equal to 1000000000 1 thousand the unit of measures(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 337-354	If a process is an instance of wind and a speed scale attribute is an instance of Beaufort number attribute and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number the unit of measure(s) is a surface wind speed of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 863-872	If an object is outside to a region and another object is an instance of the perimeter area of the region and the other object is an instance of uniform perimeter area and the width of the other object is a real number an unit of measure(s) and the distance between the object and the region is another real number the unit of measure(s) and the unit of measure is an instance of unit of measure and (the other real number and the real number) is greater than 0.0, then the object is not located at the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 852-861	If an object is outside to a region and another object is an instance of the perimeter area of the region and the other object is an instance of uniform perimeter area and the width of the other object is a real number an unit of measure(s) and the distance between the object and the region is another real number the unit of measure(s) and the unit of measure is an instance of unit of measure and (the other real number and the real number) is less than or equal to 0.0, then the object is located at the other object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2113-2126	If a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of a speed scale attribute and the unit of measure is an instance of unit of measure, then there exist a physical and a third real number such that the physical is an instance of motion and the physical the attribute the speed scale attribute and the measure of the physical is the third real number the unit of measure(s) and the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2711-2731	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure and the time interval is an instance of day time and a process is an instance of looking and an object is an instance of object and the object is the color black and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at the region and the time of existence of the process takes place during the time interval and the object is an instance of object, then there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2733-2754	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure and the time interval is an instance of night time and a process is an instance of looking and an object is an instance of region and illuminated is an attribute of the object and the measure of the object is 1000.0 candela(s) and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at the region and the time of existence of the process takes place during the time interval and the object is an instance of object, then there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2692-2709	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure, then there don't exist a process, an agent,, , an object and another real number such that the process is an instance of looking and the agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the time of existence of the process takes place during the time interval and the process is located at the region and the distance between the agent and the object is the other real number the unit of measure(s) and the other real number is greater than the real number

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1172-1184	If an object is an immediate instance of a class and a physical is an immediate instance of the class and oversized is an attribute of the object, then there exist the objectSIZE, the physicalSIZE and an unit of measure such that the unit of measure is an instance of unit of measure and the measure of the object is the objectSIZE the unit of measure(s) and the measure of the physical is the physicalSIZE the unit of measure(s) and the objectSIZE is greater than the physicalSIZE
No TPTP formula. May not be expressible in strict first order.	Media.kif 2286-2291	If a symbolic string in ISO-4217-A denotes an entity, then the entity is an instance of unit of measure and the symbolic string is 3 characters long and the symbolic string is an instance of alphabetic string

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: