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 1776-1778
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1773-1773	The number 1 argument of less than or equal to is an instance of quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1774-1774	The number 2 argument of less than or equal to is an instance of quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1769-1769	less than or equal to is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1770-1770	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 1771-1771	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 1772-1772	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.	Merge.kif 1792-1792	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 34075-34075
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 144-144
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34074-34074
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34073-34073

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1780-1784	A quantity is less than or equal to another quantity if and only if the quantity is equal to the other quantity or the quantity is less than the other quantity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1945-1963	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 currency measure is a limit price of the financial transaction and an agent asks for another currency measure for the security and the other currency measure is less than or equal to the currency measure, 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 606-612	If the day a positive integer is a commemorates date of a holiday and an entity is an instance of the holiday and the 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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 873-879	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 1798-1813	If a device is an instance of gun and a length measure is an effective range of the device and the distance between the device and an object is the length measure1 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 length measure1 is less than or equal to the length measure, then the device 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.	Mid-level-ontology.kif 1780-1794	If a device is an instance of gun and a length measure is an effective range of the device and the distance between the device and an object is the length measure1 and there doesn't exist the object2 such that the object2 is between the object and the device and the length measure1 is less than or equal to the length measure, then the device 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.	Mid-level-ontology.kif 553-558	If an entity is an instance of human and the age of the entity is a quantity year duration(s) holds during a time position and the quantity 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 462-467	If an entity is an instance of human and the age of the entity is a quantity year duration(s) holds during a time position and the quantity 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.	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 the fourth real numberU is equal to the unit of measure and the fifth real numberU is equal to the third unit of measure and the sixth real numberU is equal to 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 2638-2643	If a length measure is a navigable for draft of a water area and another length measure is a laden draft of a water vehicle and the length measure is less than or equal to the other length measure, 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 2615-2621	If a real number long ton(s) is a 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 851-860	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, then the object is located at the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2977-2993	A list is equal to the list composed of another list and a third list and the other list is not equal to null list and the third list is not equal to null list if and only if for all a positive integer and another positive integer if the positive integer is less than or equal to length of the other list and the other 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 the positive integerth element of the list is equal to the positive integerth element of the other list and (length of the other list and the other positive integer)th element of the list is equal to the other positive integerth element of the third list
No TPTP formula. May not be expressible in strict first order.	People.kif 285-306	A real number is an average of a list if and only if there exists another list such that length of the other list is equal to length of the list and 1th element of the other list is equal to 1th element of the list and for all a positive integer if the positive integer is a member of the other list, then there exist a number, the numberMINUSONE,, , another positive integer and a third positive integer such that the number is greater than 1 and the number is less than or equal to length of the other list and the positive integerth element of the other list is equal to the number and the other positive integer is a member of the list and the number is equal to the other positive integerth element of the list and the third positive integer is a member of the other list and the numberMINUSONE is equal to (the number and 1) and the numberMINUSONE is equal to the third positive integerth element of the other list and the positive integer is equal to (the other positive integer and the third positive integer) and a fourth positive integer is equal to length of the other list and the real number is equal to the fourth positive integerth element of the other list and the fourth positive integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6298-6302	A quantity is an instance of the interval from a constant quantity to another constant quantity if and only if the quantity is greater than or equal to the constant quantity and the quantity is less than or equal to the other constant quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5737-5746	If the highest cost path between a graph node and another graph node is equal to a graph path and the value of the graph path is equal to a number, then for all the graph path2 if the graph path2 is an instance of the set of paths between the graph node and the other graph node and the value of the graph path2 is equal to another number, then the other number is less than or equal to the number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 427-431	If the region a directional attribute of @ROW is an instance of region and 1th element of (@ROW) is equal to a real number angular degree(s), then the real number is less than or equal to 90
No TPTP formula. May not be expressible in strict first order.	Geography.kif 467-474	If the meridian at @ROW a directional attribute is an instance of region and 1th element of (@ROW) is equal to a real number angular degree(s), then the real number is less than or equal to 180
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1432-1443	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 quantity 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 quantity and the quantity is greater than or equal to 2438 meter(s) or the quantity is less than or equal to 3047 meter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1414-1425	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 quantity 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 quantity and the quantity is greater than or equal to 1524 meter(s) or the quantity is less than or equal to 2437 meter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1396-1407	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 quantity 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 quantity and the quantity is greater than or equal to 914 meter(s) or the quantity is less than or equal to 1523 meter(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 528-536	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 2 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 517-526	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 2, 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.	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 1047-1054	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 time duration is a suffrage age maximum of the agent and the age of the other agent is another time duration, then the other time duration is less than or equal to the time duration
No TPTP formula. May not be expressible in strict first order.	Government.kif 1036-1045	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 time duration is a suffrage age maximum of the agent, then there exists another time duration such that the age of the other agent is the other time duration and the other time duration is less than or equal to the time duration
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8642-8646	If an object is an instance of ice and the measure of the object is a real number celsius degree(s), then the real number is less than or equal to 0
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 447-452	If a railway is an instance of railway and the railway the attribute narrow gauge and a length measure is a track width of the railway, then the length measure is less than or equal to 1.435 meter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 430-435	If a railway is an instance of railway and the railway the attribute standard gauge and a length measure is a track width of the railway, then the length measure is less than or equal to 1.44 meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1138-1142	If an object is an instance of exclusive fishing zone and the linear extent of the object is a length measure, then the length measure is less than or equal to 200 nautical mile(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1169-1173	If an object is an instance of extended fishing zone and the linear extent of the object is a length measure, then the length measure is less than or equal to 200 nautical mile(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1107-1111	If an object is an instance of maritime exclusive economic zone and the linear extent of the object is a length measure, then the length measure is less than or equal to 200 nautical mile(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1067-1071	If an object is an instance of maritime shelf area and the linear extent of the object is a length measure, then the length measure is less than or equal to 200 nautical mile(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1209-1213	If an object is an instance of territorial sea and the linear extent of the object is a length measure, then the length measure is less than or equal to 12 nautical mile(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 710-714	If a length measure is a length of crude oil pipeline of a geographic area and another length measure is a total pipeline in area of the geographic area, then the length measure is less than or equal to the other length measure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 733-737	If a length measure is a length of natural gas pipeline of a geographic area and another length measure is a total pipeline in area of the geographic area, then the length measure is less than or equal to the other length measure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 756-760	If a length measure is a length of petroleum product pipeline of a geographic area and another length measure is a total pipeline in area of the geographic area, then the length measure is less than or equal to the other length measure

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 TwelveApostles is less than or equal to 12
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6839-6841	A real number month duration(s) is less than or equal to the real number and 31 day duration(s)

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

KB Term:			Term intersection

English Word: