TreeView Knowledge Base Browser

appearance as argument number 1

(documentation economyType EnglishLanguage "(economyType ?POLITY ?TYPE) means that the GeopoliticalArea ?POLITY has an economic system of TYPE.")	Economy.kif 88-89
(domain economyType 1 Agent)	Economy.kif 81-81	domain economyType, 1 and Agent
(domain economyType 2 EconomicAttribute)	Economy.kif 85-85	domain economyType, 2 and EconomicAttribute
(instance economyType BinaryPredicate)	Economy.kif 80-80	instance economyType and BinaryPredicate
(subrelation economyType attribute)	Economy.kif 86-86	subrelation economyType and attribute

appearance as argument number 2

(format ChineseLanguage economyType "%2 %n 是 %1 的 economy 类别")	domainEnglishFormat.kif 828-828
(format ChineseTraditionalLanguage economyType "%2 %n 是 %1 的 economy 類別")	domainEnglishFormat.kif 827-827
(format EnglishLanguage economyType "%2 is %n an economy type of %1")	domainEnglishFormat.kif 826-826
(termFormat ChineseLanguage economyType "经济类型")	domainEnglishFormat.kif 21195-21195
(termFormat ChineseTraditionalLanguage economyType "經濟類型")	domainEnglishFormat.kif 21194-21194
(termFormat EnglishLanguage economyType "economy type")	domainEnglishFormat.kif 21193-21193

antecedent

(=> (and (instance ?YEAR TimeInterval) (holdsDuring ?YEAR (economyType ?AREA LowIncomeCountry))) (and (perCapitaGDPInPeriod ?AREA (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR) (lessThan ?AMOUNT 756.0)))	Economy.kif 440-446	instance TimeInterval and TimeInterval holdsDuring TimeInterval and economyType GeopoliticalArea and LowIncomeCountry perCapitaGDPInPeriod GeopoliticalArea, MeasureFn RealNumber and UnitedStatesDollar and TimeInterval lessThan RealNumber and 756.0
(=> (and (instance ?YEAR TimeInterval) (holdsDuring ?YEAR (economyType ?AREA LowerMiddleIncomeCountry))) (and (perCapitaGDPInPeriod ?AREA (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR) (greaterThanOrEqualTo ?AMOUNT 756.0)))	Economy.kif 455-461	instance TimeInterval and TimeInterval holdsDuring TimeInterval and economyType GeopoliticalArea and LowerMiddleIncomeCountry perCapitaGDPInPeriod GeopoliticalArea, MeasureFn RealNumber and UnitedStatesDollar and TimeInterval greaterThanOrEqualTo RealNumber and 756.0
(=> (and (instance ?YEAR TimeInterval) (holdsDuring ?YEAR (economyType ?AREA LowerMiddleIncomeCountry))) (and (perCapitaGDPInPeriod ?AREA (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR) (lessThan ?AMOUNT 2996.0)))	Economy.kif 463-469	instance TimeInterval and TimeInterval holdsDuring TimeInterval and economyType GeopoliticalArea and LowerMiddleIncomeCountry perCapitaGDPInPeriod GeopoliticalArea, MeasureFn RealNumber and UnitedStatesDollar and TimeInterval lessThan RealNumber and 2996.0
(=> (and (instance ?YEAR TimeInterval) (holdsDuring ?YEAR (economyType ?AREA UpperMiddleIncomeCountry))) (and (perCapitaGDPInPeriod ?AREA (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR) (greaterThanOrEqualTo ?AMOUNT 2996.0)))	Economy.kif 478-484	instance TimeInterval and TimeInterval holdsDuring TimeInterval and economyType GeopoliticalArea and UpperMiddleIncomeCountry perCapitaGDPInPeriod GeopoliticalArea, MeasureFn RealNumber and UnitedStatesDollar and TimeInterval greaterThanOrEqualTo RealNumber and 2996.0
(=> (and (instance ?YEAR TimeInterval) (holdsDuring ?YEAR (economyType ?AREA UpperMiddleIncomeCountry))) (and (perCapitaGDPInPeriod ?AREA (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR) (lessThan ?AMOUNT 9267.0)))	Economy.kif 486-492	instance TimeInterval and TimeInterval holdsDuring TimeInterval and economyType GeopoliticalArea and UpperMiddleIncomeCountry perCapitaGDPInPeriod GeopoliticalArea, MeasureFn RealNumber and UnitedStatesDollar and TimeInterval lessThan RealNumber and 9267.0
(=> (economyType ?AGENT ?ATTRIBUTE) (or (instance ?AGENT GeopoliticalArea) (instance ?AGENT Organization)))	Economy.kif 91-95	economyType Agent and EconomicAttribute instance Agent and GeopoliticalArea instance Agent and Organization

consequent

(=> (and (attribute ?AREA CommunistState) (instance ?AREA Nation)) (economyType ?AREA CentrallyPlannedEconomy))	Economy.kif 860-864	attribute Agent and CommunistState instance Agent and Nation economyType Agent and CentrallyPlannedEconomy
(=> (and (attribute ?AREA HighIncomeCountry) (not (member ?AREA OrganizationOfPetroleumExportingCountries))) (economyType ?AREA DevelopedCountry))	Economy.kif 501-505	attribute Agent and HighIncomeCountry member Agent and OrganizationOfPetroleumExportingCountries economyType Agent and DevelopedCountry
(=> (attribute ?AREA FormerSovietOrEasternEuropeanCountry) (economyType ?AREA CountryInTransition))	Economy.kif 189-191	attribute Agent and FormerSovietOrEasternEuropeanCountry economyType Agent and CountryInTransition
(=> (attribute ?AREA FourDragonsEconomy) (economyType ?AREA AdvancedEconomy))	Economy.kif 388-390	attribute Agent and FourDragonsEconomy economyType Agent and AdvancedEconomy
(=> (attribute ?AREA FourDragonsEconomy) (economyType ?AREA LessDevelopedCountry))	Economy.kif 384-386	attribute Agent and FourDragonsEconomy economyType Agent and LessDevelopedCountry
(=> (attribute ?AREA LowIncomeCountry) (economyType ?AREA LeastDevelopedCountry))	Economy.kif 432-434	attribute Agent and LowIncomeCountry economyType Agent and LeastDevelopedCountry
(=> (attribute ?AREA MajorIndustrialEconomy) (economyType ?AREA AdvancedEconomy))	Economy.kif 742-744	attribute Agent and MajorIndustrialEconomy economyType Agent and AdvancedEconomy
(=> (attribute ?AREA MajorIndustrialEconomy) (economyType ?AREA DevelopedCountry))	Economy.kif 738-740	attribute Agent and MajorIndustrialEconomy economyType Agent and DevelopedCountry
(=> (attribute ?AREA PrivatizingEconomy) (economyType ?AREA CountryInTransition))	Economy.kif 874-876	attribute Agent and PrivatizingEconomy economyType Agent and CountryInTransition

appearance as argument number 0

(economyType Afghanistan DevelopingCountry)	Economy.kif 610-610	economyType Afghanistan and DevelopingCountry
(economyType Afghanistan LessDevelopedCountry)	Economy.kif 231-231	economyType Afghanistan and LessDevelopedCountry
(economyType Albania CountryInTransition)	Economy.kif 569-569	economyType Albania and CountryInTransition
(economyType Algeria DevelopingCountry)	Economy.kif 611-611	economyType Algeria and DevelopingCountry
(economyType Algeria LessDevelopedCountry)	Economy.kif 232-232	economyType Algeria and LessDevelopedCountry
(economyType Andorra DevelopedCountry)	Economy.kif 146-146	economyType Andorra and DevelopedCountry
(economyType Angola DevelopingCountry)	Economy.kif 612-612	economyType Angola and DevelopingCountry
(economyType Angola LessDevelopedCountry)	Economy.kif 233-233	economyType Angola and LessDevelopedCountry
(economyType AntiguaAndBarbuda DevelopingCountry)	Economy.kif 613-613	economyType AntiguaAndBarbuda and DevelopingCountry
(economyType AntiguaAndBarbuda LessDevelopedCountry)	Economy.kif 234-234	economyType AntiguaAndBarbuda and LessDevelopedCountry
(economyType Argentina DevelopingCountry)	Economy.kif 614-614	economyType Argentina and DevelopingCountry
(economyType Argentina LessDevelopedCountry)	Economy.kif 235-235	economyType Argentina and LessDevelopedCountry
(economyType Armenia CountryInTransition)	Economy.kif 570-570	economyType Armenia and CountryInTransition
(economyType Aruba DevelopingCountry)	Economy.kif 615-615	economyType Aruba and DevelopingCountry
(economyType Aruba LessDevelopedCountry)	Economy.kif 236-236	economyType Aruba and LessDevelopedCountry
(economyType Australia AdvancedEconomy)	Economy.kif 530-530	economyType Australia and AdvancedEconomy
(economyType Australia DevelopedCountry)	Economy.kif 147-147	economyType Australia and DevelopedCountry
(economyType Austria AdvancedEconomy)	Economy.kif 531-531	economyType Austria and AdvancedEconomy
(economyType Austria DevelopedCountry)	Economy.kif 148-148	economyType Austria and DevelopedCountry
(economyType Azerbaijan CountryInTransition)	Economy.kif 571-571	economyType Azerbaijan and CountryInTransition
(economyType Bahrain DevelopingCountry)	Economy.kif 617-617	economyType Bahrain and DevelopingCountry
(economyType Bahrain LessDevelopedCountry)	Economy.kif 238-238	economyType Bahrain and LessDevelopedCountry
(economyType Bangladesh DevelopingCountry)	Economy.kif 618-618	economyType Bangladesh and DevelopingCountry
(economyType Bangladesh LessDevelopedCountry)	Economy.kif 239-239	economyType Bangladesh and LessDevelopedCountry
(economyType Barbados DevelopingCountry)	Economy.kif 619-619	economyType Barbados and DevelopingCountry

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)

KB Term:			Term intersection

English Word: