TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1435-1437
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14079-14084
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8502-8502
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14078-14078	Geographic area is exhaustively partitioned into water area and land area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14077-14077	Geographic area is a subclass of region

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14069-14069	Astronomical body is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9095-9095	Space region is disjoint from geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3623-3623	Antarctic area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3561-3561	Arctic region is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2644-2644	Bet lid junction israel is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3594-3594	The Kyrgyz capital Bishkek is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2669-2669	Bosphorous straits turkey is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2686-2686	Bwindiforest uganda is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 93-93	Caribbean region is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 78-78	Central africa is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 100-100	Central asia is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 84-84	Central europe is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 95-95	Central south america is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2731-2731	Clark airbase philippines is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2766-2766	Dang district nepal is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2787-2787	District of mansehra pakistan is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2808-2808	Dushanbe airport tajikistan is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 79-79	Eastern africa is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 101-101	Eastern asia is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 85-85	Eastern europe is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 96-96	Eastern south america is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6946-6946	England is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2839-2839	Fethiye and marmaris turkey is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2842-2842	Florida is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1389-1389	Gaza strip is an instance of geographic area

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.	Geography.kif 688-688	The number 1 argument of border is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 689-689	The number 2 argument of border is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4857-4857	The number 1 argument of datum is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30654-30654	The number 1 argument of Demonym fn is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 478-478	The number 2 argument of directional subregion is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1957-1957	The number 1 argument of elevation high point is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1933-1933	The number 1 argument of elevation low point is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 335-335	The number 1 argument of geographic center is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6914-6914	The number 2 argument of geographic part type fn is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2201-2201	The number 1 argument of ten minute mean surface wind speed is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2306-2306	The number 1 argument of one minute mean surface wind speed is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2271-2271	The number 1 argument of two minute mean surface wind speed is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2236-2236	The number 1 argument of three minute mean surface wind speed is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1882-1882	The number 1 argument of three second mean surface wind speed is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1976-1976	The number 1 argument of mean three second wind speed list is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31760-31760	The number 2 argument of population of organisms is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6111-6111	The number 1 argument of seacoast is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6168-6168	The number 1 argument of shoreline is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2016-2016	The number 1 argument of three second gust speed is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2200-2200	The number 2 argument of agent operates in area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3075-3075	The number 1 argument of airQualityIndex is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2072-2072	The number 1 argument of arable land area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22982-22982	The number 3 argument of area of responsibility is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1204-1204	The number 1 argument of average precipitation for period is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1305-1305	The number 1 argument of average rainfall for period is an instance of geographic area

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.	Geography.kif 1907-1912	If a length measure is an elevation of an object and the object is located at another object and the other object is an instance of geographic area, then the other object is a superficial part of planet earth
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	If dislocated civilian is an attribute of an entity and the entity lives in another entity and the other entity is located at a geographic area holds during a time interval and the geographic area is an instance of geographic area and the time interval is an instance of time interval, then there exist another time interval, a third entity-PLACE and the third entity-RES such that the other time interval is an instance of time interval and the other time interval happens earlier than the time interval and the third entity-RES is an instance of object and the third entity-PLACE is an instance of geopolitical area and the third entity-RES is located at the third entity-PLACE and the geographic area is not equal to the third entity-PLACE and the other entity is not equal to the third entity-RES and the geographic area is not a geographic subregion of the third entity-PLACE and the third entity-PLACE is not a geographic subregion of the geographic area and the entity lives in the third entity-RES holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	Geography.kif 705-710	If the border of a geographic area and another geographic area is an instance of geographic area and the geographic area is an instance of nation and the other geographic area is an instance of nation, then the border of the geographic area and the other geographic area is an instance of international border
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1727-1733	If a geographic area is an instance of geographic area and a terrain attribute is an attribute of an object and the terrain attribute is an instance of terrain attribute and the object is partly located in the geographic area, then the terrain attribute is a terrain in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1964-1975	If a geographic area is an instance of geographic area and the elevation high point of the geographic area is a geographic subregion of the geographic area and a real number an unit of measure(s) is an elevation of the elevation high point of the geographic area, then there don't exist another geographic area and another real number such that the other geographic area is a geographic subregion of the geographic area and the other geographic area is not equal to the elevation high point of the geographic area and the other real number the unit of measure(s) is an elevation of the other geographic area and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1940-1954	If a geographic area is an instance of geographic area and the elevation low point of the geographic area is a geographic subregion of the geographic area and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an elevation of the elevation low point of the geographic area, then there don't exist another geographic area and another real number such that the other geographic area is a geographic subregion of the geographic area and the other geographic area is not equal to the elevation low point of the geographic area and the other real number the unit of measure(s) is an elevation of the other geographic area and the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1865-1870	If an object is an instance of geographic area and a process is an instance of volcanic eruption and the process is located at the object, then geologically stable is not an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1858-1863	If an object is an instance of geographic area and another object is an instance of volcano and volcanically active is an attribute of the other object, then geologically stable is not an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1879-1884	If an object is an instance of geographic area and a physical is an instance of geological fault and the physical is located at the object, then geologically stable is not an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1575-1582	If a geographic area is an instance of geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and 10.0 is greater than the real number, then polar climate zone is a climate type in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1872-1877	If an object is an instance of geographic area and a process is an instance of earth tremor and the process is located at the object, then geologically stable is not an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 876-882	If a region is an instance of geographic area and a process is an instance of clear 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 less than 0.3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 866-874	If a region is an instance of geographic area and a process is an instance of clear 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 less than 0.3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 927-933	If a region is an instance of geographic area and a process is an instance of overcast 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 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 917-925	If a region is an instance of geographic area and a process is an instance of overcast 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 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 901-909	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 890-899	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 493-498	If a directional attribute is an instance of directional attribute and a geographic area is an instance of geographic area and the directional subregion of the directional attribute and the geographic area is an instance of geographic area, then the directional subregion of the directional attribute and the geographic area is a geographic subregion of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 500-505	If a directional attribute is an instance of directional attribute and a geographic area is an instance of geographic area and the directional subregion of the directional attribute and the geographic area is an instance of geographic area, then the directional subregion of the directional attribute and the geographic area is the directional attribute to the geographic center of the geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2583-2591	If a process is an instance of dust storm and an object is an instance of geographic area and the process is located at the object, then the statement Bad air quality is an attribute of the object has the modal force of likely holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2520-2533	If a process is an instance of fog and the process is located at a region and the region is an instance of geographic area and an object is an instance of atmospheric region and the object is above to the region and another object is an instance of aerosal and the other object located at time the time of existence of the process for the object and the visibility at the region during the time of existence of the process is a real number meter(s), then the real number is less than 1000.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 737-747	If a process is an instance of hurricane and the process is located at an object and the object is an instance of geographic area and the object is located at another object or the object meets the other object, then the other object is equal to Northeastern Pacific ocean or the other object is equal to north atlantic ocean
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2549-2563	If a process is an instance of atmospheric hazing and the process is located at a region and the region is an instance of geographic area and an object is an instance of atmospheric region and the object is above to the region and another object located at time the time of existence of the process for the object and the visibility at the region during the time of existence of the process is a real number kilometer(s), then the real number is greater than 2.0 and the real number is less than 5.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2573-2581	If a process is an instance of atmospheric hazing and an object is an instance of geographic area and the process is located at the object, then the statement Bad air quality is an attribute of the object has the modal force of likely holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14254-14260	If an object is an instance of island and another object is an instance of geographic area and the object meets the other object, then the other object is not an instance of land area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1634-1655	If a process is an instance of tornado and another process is an instance of rotating and an object is an instance of air and the processRAN is an instance of translocation and the other process is a subprocess of the process and the processRAN is a subprocess of the other process and the object is a patient of the processRAN and entities in the process the processRAN are moving horizontal, then there exist another object, a self connected object,, , the processOP,, , a third self connected object,, , a fourth self connected object and a fifth self connected object such that the other object is an instance of geographic area and the process is located at the other object and the self connected object is a part of the object and cone segment is an attribute of the self connected object and the top of the self connected object is the processOP and the bottom of the self connected object is the third self connected object and the fourth self connected object is an instance of cloud and the bottom of the fourth self connected object is the fifth self connected object and the processOP meets the fifth self connected object and the third self connected object meets the other object
No TPTP formula. May not be expressible in strict first order.	Biography.kif 250-264	If a content bearing physical is an instance of birth certificate and a process is an instance of birth and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist an entity, another entity and a third entity such that the entity is a birthdate of the agent and the entity is an instance of day and the other entity is a birthplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of name
No TPTP formula. May not be expressible in strict first order.	Biography.kif 280-296	If a content bearing physical is an instance of DeathCertificate and a process is an instance of death and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist the processAY, another entity,, , a third entity and the other entityROC such that the processAY is a deathdate of the agent and the processAY is an instance of day and the other entity is a deathplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of name and the other entityROC causes the process and the other entityROC is an instance of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26655-26657	If urban is an attribute of an object, then the object is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1254-1261	If a kind of climate zone is a climate type in area of a geographic area, then there exist an object and an attribute such that the object is an instance of geographic area and the attribute is an instance of a kind of climate zone and the attribute is an attribute of the object and the object is a part of the geographic area
No TPTP formula. May not be expressible in strict first order.	Media.kif 2636-2641	If a symbolic string in ISO-3166-1-alpha-2 denotes an entity, then the entity is an instance of geographic area and the symbolic string is an instance of alphabetic string and the symbolic string is 2 characters long
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1901-1906	If a length measure is an elevation of an object, then there exists another object such that the other object is an instance of geographic area and the object is located at the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6302-6312	If an entity is an instance of cactus, then the statement there exists another entity such that the other entity is an instance of geographic area and the entity is located at the other entity and there exists a third entity such that the third entity is an instance of drought and the third entity is located at the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1245-1257	If a process is an instance of dust storm, then there exists a geographic area such that the geographic area is an instance of geographic area and arid climate zone is a climate type in area of the geographic area and the process is located at the geographic area or there exists another geographic area such that the other geographic area is an instance of geographic area and semiarid climate zone is a climate type in area of the other geographic area and the process is located at the other geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 724-735	If an entity is an instance of hurricane, then there exist a process, a geographic area and a real number such that the process is an instance of tropical cyclone and the geographic area is an instance of geographic area and the process is located at the geographic area and the real number miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is greater than or equal to 74.0
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 999-1013	If a physical is an instance of ground attack missile, then the physical has the purpose there exist an entity, another entity and a third entity such that the physical is an instrument for the third entity and the entity is a patient of the third entity and the third entity is an instance of damaging and the other entity is an instance of geographic area and the physical is located at the other entity and the entity is located at the other entity holds during the beginning of the time of existence of the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13315-13320	If an entity is an instance of map, then there exists another entity such that the other entity is an instance of geographic area and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1715-1725	If a process is an instance of surface wind speed measuring, then there exist an object and another object such that the object is an instance of geographic area and the other object is an instance of device and the process is located at the object and the other object is an instrument for the process and 10.0 meter(s) is an elevation of the other object holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2625-2634	If a process is an instance of blizzard, then there exist a region and a real number such that the region is an instance of geographic area and the process is located at the region and the visibility at the region during the time of existence of the process is the real number meter(s) and the real number is less than 400.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2610-2623	If a physical is an instance of blizzard, then there exist an entity, another entity and a third entity such that the entity is an instance of geographic area and the physical is located at the entity and the other entity knot unit of speed(s) is a surface wind speed of the entity and the other entity is greater than 35.0 and duration of the time of existence of the physical is the third entity hour duration(s) and the third entity is greater than 3 holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2923-2938	If a physical is an instance of snow storm, then there exist an entity, another entity and a third entity such that the entity is an instance of snowing and the other entity is an instance of geographic area and the entity is located at the other entity and the entity is a subprocess of the physical and the rate of snow falling at the other entity during the time of existence of the entity is the per of the third entity centimeter(s) and 1 hour duration(s) and the third entity is greater than 5.0 holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2888-2897	If a physical is an instance of storm, then there exist an entity and another entity such that the entity is an instance of geographic area and the other entity knot unit of speed(s) is a surface wind speed of the entity and the other entity is greater than 30.0 holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2876-2886	If a physical is an instance of storm, then the statement there exist an entity and another entity such that the entity is an instance of precipitation and the other entity is an instance of geographic area and the entity is located at the other entity and the entity is a subprocess of the physical has the modal force of likely holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 603-609	If a process is an instance of tropical cyclonic system, then there exists a geographic area such that the geographic area is an instance of geographic area and the geographic area is a geographic subregion of tropics and the process originates at the geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 758-769	If an entity is an instance of typhoon, then there exist the entityC, a geographic area and a real number such that the entityC is an instance of tropical cyclone and the geographic area is an instance of geographic area and the entityC is located at the geographic area and the real number miles per hour(s) is equal to Mean10MinutesWindSpeedFn for the time of existence of the entityC in region the geographic area and the real number is greater than or equal to 64.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 665-675	If a process is an instance of tropical cyclone, then there exist a geographic area and a real number such that the geographic area is an instance of geographic area and the process is located at the geographic area and the real number miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is greater than or equal to 44.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 644-654	If a process is an instance of tropical depression, then there exist a geographic area and a real number such that the geographic area is an instance of geographic area and the process is located at the geographic area and the real number miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is less than or equal to 38.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 700-711	If a process is an instance of tropical storm, then there exist a geographic area and a real number such that the geographic area is an instance of geographic area and the process is located at the geographic area and the real number miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is greater than or equal to 39.0 and the real number is less than or equal to 74.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26460-26468	If an entity is an instance of dining guide, then there exist an object and a physical such that the object is an instance of geographic area and the entity includes a reference to the object and the physical is an instance of restaurant and the physical is located at the object and the entity includes a reference to the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26448-26453	If an entity is an instance of guide book, then there exists another entity such that the other entity is an instance of geographic area and the entity includes a reference to the other entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: