blob: 0213b62058de73392314932f6c8ac1065694de20 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
|
forall (both Object Agent) (\AREA -> impl ( attribute(var ? ? ? AREA)(el ? ? ? FormerSovietOrEasternEuropeanCountry))( economyType(var ? ? ? AREA)(el ? ? ? CountryInTransition)))
forall (both Object Agent) (\AREA -> impl ( attribute(var ? ? ? AREA)(el ? ? ? FourDragonsEconomy))( economyType(var ? ? ? AREA)(el ? ? ? LessDevelopedCountry)))
forall (both Object Agent) (\AREA -> impl ( attribute(var ? ? ? AREA)(el ? ? ? FourDragonsEconomy))( economyType(var ? ? ? AREA)(el ? ? ? AdvancedEconomy)))
forall (both Object Agent) (\AREA -> impl ( attribute(var ? ? ? AREA)(el ? ? ? LowIncomeCountry))( economyType(var ? ? ? AREA)(el ? ? ? LeastDevelopedCountry)))
forall (both Object (both SelfConnectedObject Agent)) (\AREA -> impl (and ( attribute(var ? ? ? AREA)(el ? ? ? HighIncomeCountry))( not (member(var ? ? ? AREA)(el ? ? ? OrganizationOfPetroleumExportingCountries))))( economyType(var ? ? ? AREA)(el ? ? ? DevelopedCountry)))
forall (both Object Agent) (\AREA -> impl ( attribute(var ? ? ? AREA)(el ? ? ? MajorIndustrialEconomy))( economyType(var ? ? ? AREA)(el ? ? ? DevelopedCountry)))
forall (both Object Agent) (\AREA -> impl ( attribute(var ? ? ? AREA)(el ? ? ? MajorIndustrialEconomy))( economyType(var ? ? ? AREA)(el ? ? ? AdvancedEconomy)))
forall (both SelfConnectedObject Object) (\STATE -> impl ( member(var ? ? ? STATE)(el ? ? ? GroupOf7))( attribute(var ? ? ? STATE)(el ? ? ? MajorIndustrialEconomy)))
forall (both Object Agent) (\AREA -> impl ( attribute(var ? ? ? AREA)(el ? ? ? DemocraticSocialism))( governmentType(var ? ? ? AREA)(el ? ? ? Democracy)))
forall Nation (\AREA -> impl ( attribute(var ? ? ? AREA)(el ? ? ? CommunistState))( economyType(var ? ? ? AREA)(el ? ? ? CentrallyPlannedEconomy)))
forall (both Object Agent) (\AREA -> impl ( attribute(var ? ? ? AREA)(el ? ? ? PrivatizingEconomy))( economyType(var ? ? ? AREA)(el ? ? ? CountryInTransition)))
forall (both RealNumber Quantity) (\FRACTION -> forall IndustryAttribute (\SECTOR -> forall GeopoliticalArea (\AREA -> impl ( sectorCompositionOfGDP(var ? ? ? AREA)(var ? ? ? SECTOR)(var ? ? ? FRACTION))( lessThanOrEqualTo(var ? ? ? FRACTION)(el ? ? ? (toRealNum 1.0))))))
forall (both RealNumber Quantity) (\FRACTION -> forall GeopoliticalArea (\AREA -> impl ( populationFractionBelowPovertyLine(var ? ? ? AREA)(var ? ? ? FRACTION))( lessThanOrEqualTo(var ? ? ? FRACTION)(el ? ? ? (toRealNum 1.0)))))
forall (both RealNumber Quantity) (\FRACTION -> forall GeopoliticalArea (\AREA -> impl ( lowestDecileShareOfHouseholdIncome(var ? ? ? AREA)(var ? ? ? FRACTION))( lessThanOrEqualTo(var ? ? ? FRACTION)(el ? ? ? (toRealNum 1.0)))))
forall (both RealNumber Quantity) (\FRACTION -> forall GeopoliticalArea (\AREA -> impl ( highestDecileShareOfHouseholdIncome(var ? ? ? AREA)(var ? ? ? FRACTION))( lessThanOrEqualTo(var ? ? ? FRACTION)(el ? ? ? (toRealNum 1.0)))))
forall (both NonnegativeRealNumber Quantity) (\INDEX -> forall GeopoliticalArea (\AREA -> impl ( incomeDistributionByGiniIndex(var ? ? ? AREA)(var ? ? ? INDEX))( lessThanOrEqualTo(var ? ? ? INDEX)(el ? ? ? (toInt 100)))))
forall (both RealNumber Quantity) (\FRACTION -> forall GeopoliticalArea (\AREA -> impl ( inflationRateOfConsumerPrices(var ? ? ? AREA)(var ? ? ? FRACTION))( lessThanOrEqualTo(var ? ? ? FRACTION)(el ? ? ? (toRealNum 1.0)))))
forall (both RealNumber Quantity) (\FRACTION -> forall Attribute (\SECTOR -> forall GeopoliticalArea (\AREA -> impl ( laborForceFractionByOccupation(var ? ? ? AREA)(var ? ? ? SECTOR)(var ? ? ? FRACTION))( lessThanOrEqualTo(var ? ? ? FRACTION)(el ? ? ? (toRealNum 1.0))))))
forall (both CurrencyMeasure Quantity) (\TOTALAMOUNT -> forall (both CurrencyMeasure Quantity) (\CAPAMOUNT -> forall GeopoliticalArea (\AREA -> forall TimePosition (\TIME -> impl (and ( holdsDuring(var ? ? ? TIME)( capitalExpendituresOfArea(var ? ? ? AREA)(var ? ? ? CAPAMOUNT)))( holdsDuring(var ? ? ? TIME)( annualExpendituresOfArea(var ? ? ? AREA)(var ? ? ? TOTALAMOUNT))))( greaterThan(var ? ? ? TOTALAMOUNT)(var ? ? ? CAPAMOUNT))))))
forall PositiveInteger (\NTH -> forall IndustryAttribute (\SECTOR -> forall GeopoliticalArea (\AREA -> impl ( industryRankByOutput(var ? ? ? AREA)(var ? ? ? SECTOR)(var ? ? ? NTH))( industryOfArea(var ? ? ? AREA)(var ? ? ? SECTOR)))))
forall MetallurgicalPlant (\ORG -> attribute(var ? ? ? ORG)(el ? ? ? MetallurgyIndustry))
forall (both RealNumber Quantity) (\X -> forall Entity (\AMOUNT -> impl ( equal(var ? ? ? AMOUNT)( el ? ? ? ( MeasureFn(var ? ? ? X)(el ? ? ? KilowattHour))))( equal(var ? ? ? AMOUNT)( el ? ? ? ( MeasureFn( el ? ? ? ( MultiplicationFn(el ? ? ? (toInt 3600000))(var ? ? ? X)))(el ? ? ? Joule))))))
forall (both RealNumber Quantity) (\X -> forall Entity (\AMOUNT -> impl ( equal(var ? ? ? AMOUNT)( el ? ? ? ( MeasureFn(var ? ? ? X)(el ? ? ? Joule))))( equal(var ? ? ? AMOUNT)( el ? ? ? ( MeasureFn( el ? ? ? ( MultiplicationFn(el ? ? ? (toRealNum 0.0002778))(var ? ? ? X)))(el ? ? ? Watt))))))
forall (both Agent Entity) (\AGENT2 -> forall (both Agent Object) (\AGENT1 -> impl ( exportPartner(var ? ? ? AGENT1)(var ? ? ? AGENT2))(exists Exporting (\EXPORT -> and ( origin(var ? ? ? EXPORT)(var ? ? ? AGENT1))( destination(var ? ? ? EXPORT)(var ? ? ? AGENT2))))))
forall Exporting (\EXPORT -> exists Object (\ITEM -> patient(var ? ? ? EXPORT)(var ? ? ? ITEM)))
forall Exporting (\EXPORT -> forall GeopoliticalArea (\AREA -> forall (both Entity Physical) (\ITEM -> impl (and ( patient(var ? ? ? EXPORT)(var ? ? ? ITEM))( origin(var ? ? ? EXPORT)(var ? ? ? AREA)))( holdsDuring( el ? ? ? ( BeginFn( el ? ? ? ( WhenFn(var ? ? ? EXPORT)))))( not (located(var ? ? ? ITEM)(var ? ? ? AREA)))))))
forall Exporting (\EXPORT -> forall GeopoliticalArea (\AREA -> forall (both Entity Physical) (\ITEM -> impl (and ( patient(var ? ? ? EXPORT)(var ? ? ? ITEM))( holdsDuring( el ? ? ? ( BeginFn( el ? ? ? ( WhenFn(var ? ? ? EXPORT)))))( located(var ? ? ? ITEM)(var ? ? ? AREA))))( holdsDuring( el ? ? ? ( EndFn( el ? ? ? ( WhenFn(var ? ? ? EXPORT)))))( located(var ? ? ? ITEM)(var ? ? ? AREA))))))
forall Exporting (\EXPORT -> forall GeopoliticalArea (\AREA -> forall GeopoliticalArea (\AREA1 -> forall (both Entity Physical) (\ITEM -> impl (and ( patient(var ? ? ? EXPORT)(var ? ? ? ITEM))( holdsDuring( el ? ? ? ( BeginFn( el ? ? ? ( WhenFn(var ? ? ? EXPORT)))))( located(var ? ? ? ITEM)(var ? ? ? AREA))))(exists GeopoliticalArea (\AREA2 -> and ( geopoliticalSubdivision(var ? ? ? AREA1)(var ? ? ? AREA2))(and ( geopoliticalSubdivision(var ? ? ? AREA2)(var ? ? ? AREA1))( holdsDuring( el ? ? ? ( EndFn( el ? ? ? ( WhenFn(var ? ? ? EXPORT)))))( not (located(var ? ? ? ITEM)(var ? ? ? AREA2)))))))))))
forall Exporting (\EXPORT -> forall GeopoliticalArea (\AREA -> forall (both Entity Physical) (\ITEM -> impl (and ( patient(var ? ? ? EXPORT)(var ? ? ? ITEM))( destination(var ? ? ? EXPORT)(var ? ? ? AREA)))( holdsDuring( el ? ? ? ( EndFn( el ? ? ? ( WhenFn(var ? ? ? EXPORT)))))( located(var ? ? ? ITEM)(var ? ? ? AREA))))))
forall Exporting (\EXPORT -> forall GeopoliticalArea (\AREA1 -> forall GeopoliticalArea (\AREA2 -> forall (both Entity Physical) (\ITEM -> impl (and ( patient(var ? ? ? EXPORT)(var ? ? ? ITEM))(and ( holdsDuring( el ? ? ? ( BeginFn( el ? ? ? ( WhenFn(var ? ? ? EXPORT)))))( located(var ? ? ? ITEM)(var ? ? ? AREA1)))( holdsDuring( el ? ? ? ( EndFn( el ? ? ? ( WhenFn(var ? ? ? EXPORT)))))( located(var ? ? ? ITEM)(var ? ? ? AREA2)))))( not ( located(var ? ? ? AREA2)(var ? ? ? AREA1)))))))
forall Exporting (\EXPORT -> forall GeopoliticalArea (\AREA1 -> forall GeopoliticalArea (\AREA2 -> forall Entity (\ITEM -> impl (and ( patient(var ? ? ? EXPORT)(var ? ? ? ITEM))(and ( origin(var ? ? ? EXPORT)(var ? ? ? AREA1))( destination(var ? ? ? EXPORT)(var ? ? ? AREA2))))( not (equal(var ? ? ? AREA1)(var ? ? ? AREA2)))))))
forall Exporting (\EXPORT -> forall GeopoliticalArea (\AREA1 -> forall GeopoliticalArea (\AREA2 -> forall Entity (\ITEM -> impl (and ( patient(var ? ? ? EXPORT)(var ? ? ? ITEM))(and ( origin(var ? ? ? EXPORT)(var ? ? ? AREA1))( destination(var ? ? ? EXPORT)(var ? ? ? AREA2))))( not (located(var ? ? ? AREA2)(var ? ? ? AREA1)))))))
forall Quantity (\YEAR -> forall PositiveRealNumber (\FRACTION -> forall GeopoliticalArea (\AREA2 -> forall GeopoliticalArea (\AREA1 -> impl ( exportPartnerByFraction(var ? ? ? AREA1)(var ? ? ? AREA2)(var ? ? ? FRACTION))( lessThanOrEqualTo(var ? ? ? YEAR)(el ? ? ? (toRealNum 1.0)))))))
forall (both Agent Object) (\AGENT2 -> forall (both Agent Entity) (\AGENT1 -> impl ( importPartner(var ? ? ? AGENT1)(var ? ? ? AGENT2))(exists Exporting (\EXPORT -> and ( origin(var ? ? ? EXPORT)(var ? ? ? AGENT2))( destination(var ? ? ? EXPORT)(var ? ? ? AGENT1))))))
forall Quantity (\YEAR -> forall PositiveRealNumber (\FRACTION -> forall GeopoliticalArea (\AREA2 -> forall GeopoliticalArea (\AREA1 -> impl ( importPartnerByFraction(var ? ? ? AREA1)(var ? ? ? AREA2)(var ? ? ? FRACTION))( lessThanOrEqualTo(var ? ? ? YEAR)(el ? ? ? (toRealNum 1.0)))))))
forall Agriculture (\AG -> resultType(var ? ? ? AG)(desc AgriculturalProduct ? ?))
forall PackagedFoodProduct (\ITEM -> exists FoodProduct (\FOOD -> exists ProductPackage (\PACKAGE -> contains(var ? ? ? PACKAGE)(var ? ? ? FOOD))))
forall PackagedBeverageProduct (\ITEM -> exists BeverageProduct (\DRINK -> exists ProductPackage (\PACKAGE -> contains(var ? ? ? PACKAGE)(var ? ? ? DRINK))))
forall Bauxite (\ORE -> exists Alumina (\METAL -> component(var ? ? ? METAL)(var ? ? ? ORE)))
forall IronOre (\ORE -> exists Iron (\METAL -> component(var ? ? ? METAL)(var ? ? ? ORE)))
forall CopperOre (\ORE -> exists Copper (\METAL -> component(var ? ? ? METAL)(var ? ? ? ORE)))
forall NickelOre (\ORE -> exists Nickel (\METAL -> component(var ? ? ? METAL)(var ? ? ? ORE)))
forall LeadOre (\ORE -> exists Lead (\METAL -> component(var ? ? ? METAL)(var ? ? ? ORE)))
forall ZincOre (\ORE -> exists Zinc (\METAL -> component(var ? ? ? METAL)(var ? ? ? ORE)))
forall Steel (\ITEM -> exists Iron (\PART -> part(var ? ? ? PART)(var ? ? ? ITEM)))
forall Steel (\ITEM -> exists Carbon (\PART -> part(var ? ? ? PART)(var ? ? ? ITEM)))
forall IronMetal (\ITEM -> exists Iron (\PART -> part(var ? ? ? PART)(var ? ? ? ITEM)))
forall AluminumMetal (\ITEM -> exists Aluminum (\PART -> part(var ? ? ? PART)(var ? ? ? ITEM)))
forall LeadMetal (\ITEM -> exists Lead (\PART -> part(var ? ? ? PART)(var ? ? ? ITEM)))
forall Concrete (\CONCRETE -> exists Mineral (\PART -> component(var ? ? ? PART)(var ? ? ? CONCRETE)))
forall Concrete (\CONCRETE -> exists Cement (\PART -> component(var ? ? ? PART)(var ? ? ? CONCRETE)))
|
