TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1733-1734
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1873-1875
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 341-342
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1870-1870	The number 1 argument of less than or equal to is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1871-1871	The number 2 argument of less than or equal to is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1866-1866	less than or equal to is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1867-1867	less than or equal to is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1868-1868	less than or equal to is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1869-1869	less than or equal to is trichotomizing on real number

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 143-143
No TPTP formula. May not be expressible in strict first order.	english_format.kif 144-144
No TPTP formula. May not be expressible in strict first order.	french_format.kif 93-93
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 164-164
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1920-1920
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 45-45
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 78-78
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 174-174
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 203-203
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 112-112
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 92-92
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 327-327
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1889-1889	greater than or equal to is an inverse of less than or equal to
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34162-34162	greater than or equal to is an inverse of less than or equal to
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 144-144	greater than or equal to is an inverse of less than or equal to
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34161-34161	greater than or equal to is an inverse of less than or equal to
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34160-34160	greater than or equal to is an inverse of less than or equal to
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 53-53	greater than or equal to is an inverse of less than or equal to
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 328-328	greater than or equal to is an inverse of less than or equal to

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1877-1881	A real number is less than or equal to another real number if and only if equal the real number and the other real number or the real number is less than the other real number
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2025-2046	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and the unit of measure is an instance of unit of currency and an agent asks for another real number the unit of measure(s) for the security and the other real number is less than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Government.kif 583-589	If the day a positive integer of month the month a kind of month is a commemorates date of a kind of holiday and an entity is an instance of a kind of holiday and the kind of holiday is a subclass of fixed holiday and an integer is less than or equal to another entity_YEAR, then the entity is an instance of the day the positive integer of month the month a kind of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3096-3115	If equal a list and the list composed of another list and a third list and equal the other list and null list and equal the third list and null list and a positive integer is less than or equal to length of the other list and another positive integer is less than or equal to length of the third list and the positive integer is an instance of positive integer and the other positive integer is an instance of positive integer, then equal the positive integerth element of the list and the positive integerth element of the other list and equal (length of the other list and the other positive integer)th element of the list and the other positive integerth element of the third list
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1039-1045	If an object is an instance of the maritime claims territorial sea of a region and the width of the object is a real number an unit of measure(s) and the distance between a physical and the region is another real number the unit of measure(s) and the other real number is less than or equal to the real number, then the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1634-1653	If a device is an instance of gun and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and the object is an instance of organism and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then there exists a symbolic string such that the device is capable of doing the class described by the symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1612-1630	If a device is an instance of gun and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then there exists a symbolic string such that the device is capable of doing the class described by the symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 385-390	If an entity is an instance of human and the age of the entity is a real number year duration(s) holds during a time position and the real number is less than or equal to 1, then the entity is an instance of human baby holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 304-311	If an entity is an instance of human and the age of the entity is a real number year duration(s) holds during a time position and the real number is less than or equal to 14, then the entity is an instance of human child holds during the time position
No TPTP formula. May not be expressible in strict first order.	Weather.kif 136-145	If an object is an instance of wind flow and another object is an instance of object and the object is partly located in the other object and a real number foot length(s) is an elevation of the object and the real number is less than or equal to 500.0 and the measure of the object is a length measure per a time duration, then the length measure per the time duration is a surface wind speed of the other object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 144-169	If a real number an unit of measure(s) is a maximum payload capacity of a vehicle and the vehicle is maximum payload height width another real number another unit of measure(s) for a third real number a third unit of measure(s) and a self connected object is an instance of self connected object and a fourth real number the fourth real numberU(s) is a weight of the self connected object and the width of the self connected object is a fifth real number the fifth real numberU(s) and the height of the self connected object is a sixth real number the sixth real numberU(s) and equal the fourth real numberU and the unit of measure and equal the fifth real numberU and the third unit of measure and equal the sixth real numberU and the other unit of measure and the fourth real number is less than or equal to the real number and the fifth real number is less than or equal to the third real number and the sixth real number is less than or equal to the other real number, then the vehicle is capable of doing the class described by a symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3191-3196	If a real number meter(s) is a &avigableForDraft$"navigable" for draft of a water area and another real number meter(s) is a laden draft of a water vehicle and the real number is less than or equal to the other real number, then the water area is not capable of doing the trip of the water vehicle as a path
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3168-3174	If a real number long ton(s) is a &avigableForShippingTonnage$"navigable" for shipping tonnage of a water area and a water vehicle is an instance of water vehicle and another real number long ton(s) is a vessel displacement of the water vehicle and the other real number is less than or equal to the real number, then the water area is capable of doing the trip of the water vehicle as a path
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1017-1026	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

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 272-293	A real number is an average of a list if and only if there exist another list and a positive integer such that equal length of the other list and length of the list and equal 1th element of the other list and 1th element of the list and for all another positive integer if the other positive integer is a member of the other list, then there exist another real number, the other real numberMINUSONE,, , a third positive integer and a fourth positive integer such that the other real number is greater than 1 and the other real number is less than or equal to length of the other list and equal the other positive integerth element of the other list and the other real number and the third positive integer is a member of the list and equal the other real number and the third positive integerth element of the list and the fourth positive integer is a member of the other list and equal the other real numberMINUSONE and (the other real number and 1) and equal the other real numberMINUSONE and the fourth positive integerth element of the other list and equal the other positive integer and (the third positive integer and the fourth positive integer) and equal the positive integer and length of the other list and equal the real number and the positive integerth element of the other list and the positive integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27362-27374	If a real number an unit of measure(s) is the distance of the parallelLinesInSpace a line in space and another line in space and the unit of measure is an instance of unit of length and the line in space and the other line in space are parallel and an object is a part of the line in space and the object is an instance of point in space and another object is a part of the other line in space and the other object is an instance of point in space and the distance between the object and the other object is another real number the unit of measure(s), then the real number is less than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6069-6075	If equal the highest cost path between a graph node and another graph node and a graph path and equal the value of the graph path and a real number and the graph path2 is an instance of the set of paths between the graph node and the other graph node and equal the value of the graph path2 and another real number, then the other real number is less than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 597-601	If the region a directional attribute of @ROW is an instance of region and equal 1th element of (@ROW) and a real number angular degree(s), then the real number is less than or equal to 90.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 637-644	If the meridian at @ROW a directional attribute is an instance of region and equal 1th element of (@ROW) and a real number angular degree(s), then the real number is less than or equal to 180.0
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1574-1586	If an object is an instance of airport and long runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than or equal to 2438 or the real number is less than or equal to 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1555-1567	If an object is an instance of airport and medium length runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than or equal to 1524 or the real number is less than or equal to 2437
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1536-1548	If an object is an instance of airport and short runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than or equal to 914 or the real number is less than or equal to 1523
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1152-1160	If a region is an instance of geographic area and a process is an instance of partly cloudy weather and the process is located at the region and a nonnegative real number is a cloud cover fraction of the region, then the nonnegative real number is greater than or equal to 0.3 and the nonnegative real number is less than or equal to 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1141-1150	If a region is an instance of geographic area and a process is an instance of partly cloudy weather and the process is located at the region, then there exists a nonnegative real number such that the nonnegative real number is a cloud cover fraction of the region and the nonnegative real number is greater than or equal to 0.3 and the nonnegative real number is less than or equal to 0.7
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3031-3042	If an object is an instance of brine and the measure of the object is 1.0 liter(s) and another object is a part of the object and the other object is an instance of salt and the measure of the other object is a real number gram(s), then the real number is greater than 35.0 and the real number is less than or equal to 260.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 571-578	If a food is an instance of coffee bean and dark roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the real number is greater than or equal to 225 and the real number is less than or equal to 245
No TPTP formula. May not be expressible in strict first order.	Food.kif 495-502	If a food is an instance of coffee bean and light roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the real number is greater than or equal to 196 and the real number is less than or equal to 205
No TPTP formula. May not be expressible in strict first order.	Food.kif 533-540	If a food is an instance of coffee bean and medium roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the real number is greater than or equal to 210 and the real number is less than or equal to 219
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4983-4996	If an object is an instance of coffee arabica and the measure of the object is a real number gram(s) and the objectC is an instance of caffeine and the objectC is a part of the object and the measure of the objectC is another real number gram(s) and equal a third real number and the other real number and the real number, then the third real number is greater than or equal to 0.008 and the third real number is less than or equal to 0.014
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5007-5020	If an object is an instance of coffee robusta and the measure of the object is a real number gram(s) and the objectC is an instance of caffeine and the objectC is a part of the object and the measure of the objectC is another real number gram(s) and equal a third real number and the other real number and the real number, then the third real number is greater than or equal to 0.017 and the third real number is less than or equal to 0.04
No TPTP formula. May not be expressible in strict first order.	Food.kif 1368-1386	If an object is an instance of flat white and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of milk foam and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance and a self connected object is a part of the other substance and the self connected object is a part of the substance and the top of the other substance is the self connected object and the self connected object is an instance of bubble and the measure of the self connected object is a third real number millimeter(s), then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.15 and the third real number is greater than or equal to 1.0 and the third real number is less than or equal to 20.0
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 59-65	If a geopolitical area is an instance of city and the geopolitical area is a part of france, then the number of instances in the resident of the geopolitical area is less than or equal to the number of instances in the resident of paris
No TPTP formula. May not be expressible in strict first order.	Government.kif 1037-1046	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age maximum of the agent and the age of the other agent is another real number year duration(s), then the other real number is less than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 1024-1035	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age maximum of the agent, then there exists another real number such that the age of the other agent is the other real number year duration(s) and the other real number is less than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1930-1946	If a process is an instance of strong gust and the process is located at a geographic area and the geographic area is an instance of geographic area and equal ThreeSecondSpeedGustFn ending at the time of existence of the process in the geographic area and a real number miles per hour(s) and a time interval happens earlier than the time of existence of the process and another real number miles per hour(s) is a surface wind speed of the geographic area holds during the time interval and equal a third real number and (the real number and the other real number), then the third real number is greater than 17 and the third real number is less than or equal to 29
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1907-1923	If a process is an instance of weak gust and the process is located at a geographic area and the geographic area is an instance of geographic area and equal ThreeSecondSpeedGustFn ending at the time of existence of the process in the geographic area and a real number miles per hour(s) and a time interval happens earlier than the time of existence of the process and another real number miles per hour(s) is a surface wind speed of the geographic area holds during the time interval and equal a third real number and (the real number and the other real number), then the third real number is greater than or equal to 12 and the third real number is less than or equal to 17
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3089-3108	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 equal the third real number the unit of measure(s) and Mean1MinuteWindSpeedFn for the time of existence of the process in region the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10191-10195	If a physical is an instance of ice and the measure of the physical is a real number celsius degree(s), then the real number is less than or equal to 0.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 3000-3018	If an object is an instance of semi skimmed milk and the measure of the object is a real number an unit of measure(s) and the unit of measure is an instance of unit of volume, then there exist another object and the real number2 such that the other object is an instance of butter fat and the other object is a part of the object and there doesn't exist a third object such that the third object is an instance of butter fat and equal the other object and the third object and the third object is a part of the object and the measure of the other object is the real number2 the unit of measure(s) and the real number2 is greater than or equal to 0.015 and the real number and the real number2 is less than or equal to 0.02 and the real number

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

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

Media.kif 1968-1968

The number of instances in Twelve apostles is less than or equal to 12

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: