;;Start of OKBC header
(define-OKBC-frame WFB-LIFTING-AXIOMS
    :type :individual
    :sentences (
;;End of OKBC header

;;;;;;;;;;;;;;FUNCTION INSTANTIATION

;; a convenience function:

   (<= (pop-size ?c ?s)(and (population ?c ?p)(set-cardinality ?p ?s)))

   (=> (wfb::population ?georef ?number)
       (exists ?population
	 (and
	      (set-cardinality ?population ?number)
	      (country-population ?population)
	      (population ?georef ?population))))

   (=> (georef ?georef)
       (exists ?skolem
	 (and
	      (country-male-population ?skolem)
	      (country-of ?skolem ?georef))))

   (=> (georef ?georef)
       (exists ?skolem
	 (and
	      (country-female-population ?skolem)
	      (country-of ?skolem ?georef))))

   (=> (georef ?georef)
       (exists ?skolem
	 (and
	      (country-export ?skolem)
	      (has-export ?georef ?skolem))))

   (=> (georef ?georef)
       (exists ?skolem
	 (and
	      (country-import ?skolem)
	      (has-import ?georef ?skolem))))

   (=> (georef ?georef)
       (exists ?skolem
	 (and
	      (country-radio-broadcast-stations ?skolem)
	      (has-radio-broadcast-stations ?georef ?skolem))))

;;;;;;;;;;;;;;GEOGRAPHY


(=>
 (and
  (wfb::area ?georef total_area (* ?n sq_km))
  (number ?n))
 (has-total-area ?georef (* ?n square-kilometer)))

(=>
 (and
  (wfb::area ?georef land_area (* ?n sq_km))
  (number ?n))
 (has-land-area ?georef (* ?n square-kilometer)))

(=>
 (and
  (wfb::area ?georef comparative_area ?doc)
  (string ?doc))
 (has-comparative-area-doc ?georef ?doc))




#|(=> (and (wfb::borders ?georef1 ?georef2 (* ?n km))
	 (georef ?georef2))
    (exists (?border ?length)
      (and
	   (border-between-fn ?georef1 ?georef2 ?border)
	   (length-of-object ?border ?length)
	   (magnitude ?length kilometer ?n))))|#

;;? Which is better?

(=> (and (wfb::borders ?georef1 ?georef2 (* ?n km))
	 (georef ?georef2)
	 (number ?n))
    (exists ?border
	    (and
	     (border-between-fn ?georef1 ?georef2 ?border)
	     (length-of-object ?border (* ?n kilometer))
	     (has-border ?georef1 ?border))))


(=> (and (wfb::borders ?georef1 total (* ?n km))
	 (number ?n))
    (has-total-border-length ?georef1 (* ?n kilometer)))

(=> (and (wfb::climate ?georef ?doc)
	 (string ?doc))
    (has-climate-doc ?georef ?doc))

(=> (and (wfb::coastline ?georef1 (* ?n km))
	 (number ?n))
    (has-coastline-length ?georef1 (* ?n kilometer)))

(=> (and (wfb::environment ?georef current_issues ?doc)
	 (string ?doc))
    (has-environment-issues-doc ?georef ?doc))
    
(=> (and (wfb::environment ?georef natural_hazards ?doc)
	 (string ?doc))
    (has-natural-hazards-doc ?georef ?doc))	    


(=> (and (wfb::environment ?georef international_agreements ?doc)
	 (string ?doc))
    (environmental-agreements ?georef ?doc))

(=> (and (wfb::international_disputes ?georef ?doc)
	 (string ?doc))
    (has-international-disputes-doc ?georef ?doc))

(=> (and (wfb::irrigated_land ?georef1 (* ?n sq_km))
	 (number ?n))
    (has-irrigated-land ?georef1 (* ?n square-kilometer)))

(=>
 (and
  (wfb::land_use ?georef arable-land (* ?number %))
  (number ?number)
  (is ?frac (/ ?number 100)))
 (exists ?lf
	 (and
	  (arable-land-fraction ?lf)
	  (has-land-use-fraction ?georef ?lf)
	  (fraction-magnitude ?lf ?frac))))

(=>
 (and
  (wfb::land_use ?georef permanent_crops (* ?number %))
  (number ?number)
  (is ?frac (/ ?number 100)))
 (exists ?lf
	 (and
	  (permanent-crops-land-fraction ?lf)
	  (has-land-use-fraction ?georef ?lf)
	  (fraction-magnitude ?lf ?frac))))

(=>
 (and
  (wfb::land_use ?georef meadows_and_pastures (* ?number %))
  (number ?number)
  (is ?frac (/ ?number 100)))
 (exists ?lf
	 (and
	  (meadows-and-pastures-land-fraction ?lf)
	  (has-land-use-fraction ?georef ?lf)
	  (fraction-magnitude ?lf ?frac))))

(=>
 (and
  (wfb::land_use ?georef forest_and_woodland (* ?number %))
  (number ?number)
  (is ?frac (/ ?number 100)))
 (exists ?lf
	 (and
	  (forest-and-woodland-land-fraction ?lf)
	  (has-land-use-fraction ?georef ?lf)
	  (fraction-magnitude ?lf ?frac))))


(=> (and (wfb::location ?georef ?doc)
	 (string ?doc))
    (has-location-doc ?georef ?doc))

(=> (and (wfb::map_reference ?georef ?doc)
	 (string ?doc))
    (has-map-references-doc ?georef ?doc))


(=>
 (and
  (wfb::maritime-claim ?georef contiguous_zone (* ?n nm))
  (number ?n))
 (exists ?claim
	 (and
	  (contiguous-zone-claim ?claim)
	  (claimed-distance ?claim (* ?n nautical-mile))
	  (has-maritime-claim ?georef ?claim))))

(=>
 (and
  (wfb::maritime-claim ?georef contiguous_zone ?doc)
  (string ?doc))
 (exists ?claim
	 (and
	  (contiguous-zone-claim ?claim)
	  (claim-description ?claim ?doc)
	  (has-maritime-claim ?georef ?claim))))

(=>
 (and
  (wfb::maritime-claim ?georef exclusive_fishing_zone (* ?n nm))
  (number ?n))
 (exists ?claim
	 (and
	  (exclusive-fishing-zone-claim ?claim)
	  (claimed-distance ?claim (* ?n nautical-mile))
	  (has-maritime-claim ?georef ?claim))))

(=>
 (and
  (wfb::maritime-claim ?georef exclusive_fishing_zone ?doc)
  (string ?doc))
 (exists ?claim
	 (and
	  (exclusive-fishing-zone-claim ?claim)
	  (claim-description ?claim ?doc)
	  (has-maritime-claim ?georef ?claim))))

(=>
 (and
  (wfb::maritime-claim ?georef exclusive_economic_zone (* ?n nm))
  (number ?n))
 (exists ?claim
	 (and
	  (exclusive-economic-zone-claim ?claim)
	  (claimed-distance ?claim (* ?n nautical-mile))
	  (has-maritime-claim ?georef ?claim))))

(=>
 (and
  (wfb::maritime-claim ?georef exclusive_economic_zone ?doc)
  (string ?doc))
 (exists ?claim
	 (and
	  (exclusive-economic-zone-claim ?claim)
	  (claim-description ?claim ?doc)
	  (has-maritime-claim ?georef ?claim))))

(=>
 (and
  (wfb::maritime-claim ?georef territorial_sea (* ?n nm))
  (number ?n))
 (exists ?claim
	 (and
	  (territorial-sea-claim ?claim)
	  (claimed-distance ?claim (* ?n nautical-mile))
	  (has-maritime-claim ?georef ?claim))))

(=>
 (and
  (wfb::maritime-claim ?georef territorial_sea ?doc)
  (string ?doc))
 (exists ?claim
	 (and
	  (territorial-sea-claim ?claim)
	  (claim-description ?claim ?doc)
	  (has-maritime-claim ?georef ?claim))))

(=>
 (and
  (wfb::maritime-claim ?georef continental_shelf (* ?n nm))
  (number ?n))
 (exists ?claim
	 (and
	  (continental-shelf-claim ?claim)
	  (claimed-distance ?claim (* ?n nautical-mile))
	  (has-maritime-claim ?georef ?claim))))

(=>
 (and
  (wfb::maritime-claim ?georef continental_shelf ?doc)
  (string ?doc))
 (exists ?claim
	 (and
	  (continental-shelf-claim ?claim)
	  (claim-description ?claim ?doc)
	  (has-maritime-claim ?georef ?claim))))


(=>
 (and
  (wfb::natural-resource ?georef ?resource)
  (natural-resource ?resource))
 (has-natural-resource ?georef ?resource))

(=> (and (wfb::terrain ?georef ?doc)
	 (string ?doc))
    (has-terrain-doc ?georef ?doc))

;;;;;;;;;;;;;;PEOPLE

(=>
 (and
  (wfb::age_structure_by_sex ?georef 0-14_years female ?number)
  (number ?number)
  (population ?georef ?pop))
 (exists ?af
	 (and
	  (fraction-of-country-population ?af)
	  (fraction-of ?af ?pop)
	  (fraction-defining-set ?af age-0-14)
	  (fraction-defining-set ?af female-person)
	  (:cardinality fraction-defining-set ?af 2)
	  (set-cardinality ?af ?number))))

(=>
 (and
  (wfb::age_structure_by_sex ?georef 15-64_years female ?number)
  (number ?number)
  (population ?georef ?pop))
 (exists ?af
	 (and
	  (fraction-of ?af ?pop)
	  (fraction-of-country-population ?af)
	  (fraction-defining-set ?af age-15-64)
	  (fraction-defining-set ?af female-person)
	  (:cardinality fraction-defining-set ?af 2)
	  (set-cardinality ?af ?number))))

(=>
 (and
  (wfb::age_structure_by_sex ?georef 65_years_and_over female ?number)
  (number ?number)
  (population ?georef ?pop))
 (exists ?af
	 (and
	  (fraction-of ?af ?pop)
	  (fraction-of-country-population ?af)
	  (fraction-defining-set ?af age-over-65)
	  (fraction-defining-set ?af female-person)
	  (:cardinality fraction-defining-set ?af 2)
	  (set-cardinality ?af ?number))))

(=>
 (and
  (wfb::age_structure_by_sex ?georef 0-14_years male ?number)
  (number ?number)
  (population ?georef ?pop))
 (exists ?af
	 (and
	  (fraction-of ?af ?pop)
	  (fraction-of-country-population ?af)
	  (fraction-defining-set ?af age-0-14)
	  (fraction-defining-set ?af male-person)
	  (:cardinality fraction-defining-set ?af 2)
	  (set-cardinality ?af ?number))))

(=>
 (and
  (wfb::age_structure_by_sex ?georef 15-64_years male ?number)
  (number ?number)
  (population ?georef ?pop))
 (exists ?af
	 (and
	  (fraction-of ?af ?pop)
	  (fraction-of-country-population ?af)
	  (fraction-defining-set ?af age-15-64)
	  (fraction-defining-set ?af male-person)
	  (:cardinality fraction-defining-set ?af 2)
	  (set-cardinality ?af ?number))))

(=>
 (and
  (wfb::age_structure_by_sex ?georef 65_years_and_over male ?number)
  (number ?number)
  (population ?georef ?pop))
 (exists ?af
	 (and
	  (fraction-of ?af ?pop)
	  (fraction-of-country-population ?af)
	  (fraction-defining-set ?af age-over-65)
	  (fraction-defining-set ?af male-person)
	  (:cardinality fraction-defining-set ?af 2)
	  (set-cardinality ?af ?number))))

(=>
 (and
  (wfb::age_structure ?georef 0-14_years (* ?number %))
  (number ?number)
  (population ?georef ?pop)
  (is ?frac (/ ?number 100)))
 (exists ?af
	 (and
	  (fraction-of ?af ?pop)
	  (fraction-of-country-population ?af)
	  (fraction-defining-set ?af age-0-14)
	  (:cardinality fraction-defining-set ?af 1)
	  (fraction-magnitude ?af ?frac))))

(=>
 (and
  (wfb::age_structure ?georef 15-64_years (* ?number %))
  (number ?number)
  (population ?georef ?pop)
  (is ?frac (/ ?number 100)))
 (exists ?af
	 (and
	  (fraction-of ?af ?pop)
	  (fraction-of-country-population ?af)
	  (fraction-defining-set ?af age-15-64)
	  (:cardinality fraction-defining-set ?af 1)
	  (fraction-magnitude ?af ?frac))))
 
(=>
 (and
  (wfb::age_structure ?georef 65_years_and_over (* ?number %))
  (number ?number)
  (population ?georef ?pop)
  (is ?frac (/ ?number 100)))
 (exists ?af
	 (and
	  (fraction-of ?af ?pop)
	  (fraction-of-country-population ?af)
	  (fraction-defining-set ?af age-over-65)
	  (:cardinality fraction-defining-set ?af 1)
	  (fraction-magnitude ?af ?frac))))


(=>
 (and
  (ethnic-entity ?georef ?et (* ?perc %))
  (number ?perc)
  (is ?frac (/ ?perc 100))
  (population ?georef ?pop)
  (ethnic-background ?et))
 (exists ?ef
	 (and
	  (fraction-of ?ef ?pop)
	  (fraction-of-country-population ?ef)
	  (fraction-defining-set ?ef ?et)
	  (:cardinality fraction-defining-set ?ef 1)
	  (fraction-magnitude ?ef ?frac))))

(=>
 (and
  (wfb::religion ?georef ?r (* ?perc %))
  (number ?perc)
  (is ?frac (/ ?perc 100))
  (population ?georef ?pop)
  (religious-group ?r))
 (exists ?ef
	 (and
	  (fraction-of ?ef ?pop)
	  (fraction-of-country-population ?ef)
	  (fraction-defining-set ?ef ?r)
	  (:cardinality fraction-defining-set ?ef 1)
	  (fraction-magnitude ?ef ?frac))))

(=>
 (and
  (wfb::language ?georef ?l (* ?perc %))
  (number ?perc)
  (population ?georef ?pop)
  (is ?frac (/ ?perc 100))
  (language-group ?l))
 (exists ?lf
	 (and
	  (fraction-of ?lf ?pop)
	  (fraction-of-country-population ?lf)
	  (fraction-defining-set ?lf ?l)
	  (:cardinality fraction-defining-set ?lf 1)
	  (fraction-magnitude ?lf ?frac))))

(=>
 (and
  (wfb::literacy ?georef total_population (* ?perc %))
  (number ?perc)
  (population ?georef ?pop)
  (is ?frac (/ ?perc 100)))
 (exists ?lf
	 (and
	  (fraction-of ?lf ?pop)
	  (fraction-of-country-population ?lf)
	  (fraction-defining-set ?lf literate-person)
	  (:cardinality fraction-defining-set ?lf 1)
	  (fraction-magnitude ?lf ?frac))))

(=>
 (and
  (wfb::literacy ?georef male (* ?perc %))
  (number ?perc)
  (is ?frac (/ ?perc 100))
  (country-male-population ?mp)
  (country-of ?mp ?georef))	 
 (exists ?ef
	 (and
	  (fraction-of ?ef ?mp)
	  (fraction-by ?ef set-cardinality)
	  (fraction-defining-set ?ef literate-person)
	  (:cardinality fraction-defining-set ?ef 1)
	  (fraction-magnitude ?ef ?frac))))
 
(=>
 (and
  (wfb::literacy ?georef female (* ?perc %))
  (country-female-population ?mp)
  (country-of ?mp ?georef)	 
  (number ?perc)
  (is ?frac (/ ?perc 100)))
 (exists ?ef
	 (and
	  (fraction-of-set ?ef)
	  (fraction-of ?ef ?mp)
	  (fraction-by ?ef set-cardinality)
	  (fraction-defining-set ?ef literate-person)
	  (:cardinality fraction-defining-set ?ef 1)
	  (fraction-magnitude ?ef (/ ?perc 100)))))


(=> (and (wfb::literacy-condition ?georef ?doc)
	 (string ?doc))
    (has-literacy-condition-doc ?georef ?doc)) 
 
(=>
    (and
	 (wfb::total_labor_force ?georef ?number)
	 (population ?georef ?pop)
	 (number ?number)
	 )
    (exists ?f
      (and
	   (fraction-of ?f ?pop)
	   (fraction-of-country-population ?f)
	   (fraction-defining-set ?f element-of-labor-force)
	   (:cardinality fraction-defining-set ?f 1)
	   (set-cardinality ?f ?number))))

(=>
 (and
  (wfb::labor-force-by-occupation ?georef ?occup (* ?perc %))
  (number ?number)
  (population ?georef ?pop)
  (is ?frac (/ ?perc 100))
  (occupation-type ?occup))
 (exists ?f
	 (and
	  (fraction-of ?f ?pop)
	  (fraction-defining-set ?f ?occup)
	  (:cardinality fraction-defining-set ?f 1)
	  (fraction-magnitude ?f ?frac))))

(=>
 (and
  (wfb::population_growth_rate ?georef (* ?perc %))
  (number ?perc)
  (is ?frac (/ ?perc 100)))
 (has-population-growth-rate ?georef ?frac))

(=>
 (and
  (wfb::birth_rate ?georef (* ?num |births/1,000 population|))
  (number ?num))
 (has-birth-rate ?georef num))

(=>
 (and
  (wfb::death_rate ?georef (* ?num |deaths/1,000 population|))
  (number ?num))
 (has-death-rate ?georef ?num))

(=>
 (and
  (wfb::net_migration_rate ?georef (* ?num |migrant(s)/1,000 population|))
  (number ?num))
 (has-net-migration-rate ?georef ?num))

(=>
 (and
  (wfb::infant_mortality_rate ?georef (* ?num  |deaths/1,000 live births|))
  (number ?num))
 (has-infant-mortality-rate ?georef ?num))

(=>
 (and
  (wfb::total_fertility_rate ?georef (* ?num children_born/woman))
  (number ?num))
 (has-total-fertility-rate ?georef num))
					 
(=>
 (and
  (wfb::life_expectancy_at_birth ?georef (* ?num years))
  (number ?num))
 (has-life-expectancy-at-birth ?georef (* num year)))

(=>
 (and
  (wfb::nationality ?georef noun ?str)
  (string ?str))
 (noun-nationality-form ?georef ?str))

(=>
 (and
  (wfb::nationality ?georef adjective ?str)
  (string ?str))
 (adjective-nationality-form ?georef ?str))

;;;;;;;;;;;;;GOVERNMENT
#+ignore(=> (wfb::administrative_division ?type ?english-name ?local-singular ?local-plural)
    (and (:subclass-of ?type state-geopolitical)
	 (name-string-conventional-short ?type ?english-name)
	 (local-name-singular ?type ?local-singular)
	 (local-name-plural   ?type ?local-plural)))

(=> 
 (wfb::administrative_division ?type ?english-name ?local-singular ?local-plural)
 (and
  (administrative-division-type ?type)
  (:template-slot-value english-name-for-division-type ?english-name)))

(=>
 (and
  (wfb::administrative_division ?type ?english-name ?local-singular ?local-plural)
  (administrative-division-type ?type)
  (string ?local-singular))
 (:template-slot-value local-singular-name-for-division-type ?local-singular))

(=>
 (and
  (wfb::administrative_division ?type ?english-name ?local-singular ?local-plural)
  (administrative-division-type ?type)
  (string ?local-plural))
 (:template-slot-value local-plural-name-for-division-type ?local-plural))

(=>
 (and
  (wfb::administrative_divisions ?country ?type ?count)
  (administrative-division-type ?type)
  (integer ?count))
 (and
  (specific-to-country ?type ?country)
  (set-cardinality ?type ?count)))

;;?country redundant here, country info is in ?type.
(=> 
 (wfb::administrative_division_of ?country ?type ?name)
 (exists ?state
	 (and
	  (:instance-of ?state ?type)
	  (:pretty-name ?state ?name))))


(=>
 (and
  (wfb::capital ?georef ?city)
  (city ?city))
 (capital-city ?georef ?city))
;;Slot capital-city inherited from geopolitical-entity.

(=>
 (and
  (wfb::constitution ?georef ?doc)
  (string ?doc))
 (has-constitution-doc ?georef ?doc))

(=> (and (wfb::digraph ?georef ?doc)
	 (string ?doc))
    (has-digraph-doc ?georef ?doc))

(=>
 (and
  (wfb::diplomatic_representation_in_us ?georef chancery ?address)
  (string ?address))
 (exists (?chancery ?loc)
	 (and
	  (chancery ?chancery)
	  (country-represented ?chancery ?georef)
	  (mission-in ?chancery united-states)
	  (points-of-contact ?chancery ?loc)
	  (address-text ?loc ?address))))

(=>
 (and
  (wfb::diplomatic_representation_in_us ?georef chief_of_mission ?name)
  (coutry-represented ?chancery ?georef)
  (mission-in ?chancery united-states)
  (chancery ?chancery)
  (string ?name))
 (exists ?ambas
	 (and
	  (chief-of-mission ?chancery ?ambas)
	  (name-string ?ambas ?name))))

(=>
 (and
  (wfb::diplomatic_representation_in_us ?georef telephone ?phone)
  (coutry-represented ?chancery ?georef)
  (mission-in ?chancery united-states)
  (chancery ?chancery)
  (points-of-contact ?chancery ?loc)
  (string ?phone))
 (phone-number-text ?loc ?phone))

(=>
 (and
  (wfb::diplomatic_representation_in_us ?georef fax ?phone)
  (coutry-represented ?chancery ?georef)
  (mission-in ?chancery united-states)
  (chancery ?chancery)
  (points-of-contact ?chancery ?loc)
  (string ?phone))
 (fax-number-text ?loc ?phone))

(=>
 (and
  (wfb::diplomatic_representation_in_us ?georef |consulate(s) general| ?doc)
  (coutry-represented ?chancery ?georef)
  (mission-in ?chancery united-states)
  (chancery ?chancery)
  (string ?doc))
 (consulates-info ?chancery ?doc))

(=>
 (and
  (wfb::executive_branch ?georef cabinet ?doc)
  (string ?doc))
 (has-cabinet-doc ?georef ?doc))

(=>
 (and
  (wfb::executive_branch ?georef chief_of_state ?doc)
  (string ?doc))
 (has-chief-of-state-doc ?georef ?doc))

(=>
 (and
  (wfb::executive_branch ?georef head_of_government ?doc)
  (string ?doc))
 (has-head-of-government-doc ?georef ?doc))

(=>
 (and
  (wfb::flag ?georef ?doc)
  (string ?doc))
 (has-flag-doc ?georef ?doc))

(=>
 (and
  (wfb::independence ?georef ?date ?fromwho)
  (date ?date))
 (is-independent-since ?georef ?date))

(=>
 (and
  (wfb::independence ?georef ?date ?fromwho)
  (string ?fromwho))
 (formerly-dependent-on-doc ?georef ?fromwho))

(=>
 (and
  (wfb::judicial_branch ?georef ?doc)
  (string ?doc))
 (has-judicial-branch-doc ?georef ?doc))

(=>
 (and
  (wfb::legal_system ?georef ?doc)
  (string ?doc))
 (has-legal-system-doc ?georef ?doc))

(=>
 (wfb::legislative_structure ?georef unicameral n/a)
 (exists ?parl
	 (and
	  (unicameral-legislative-organization ?parl)
	  (has-legislative-branch ?georef ?parl))))

(=>
 (and
  (wfb::legislative_structure ?georef bicameral ?name)
  (string ?name))
 (exists ?parl
	 (and
	  (bicameral-legislative-organization ?parl)
	  (:pretty-name ?parl ?name)
	  (has-legislative-branch ?georef ?parl))))

(=>
 (and
  (wfb::legislative_branch ?georef ?name ?doc)
  (string ?name)
  (string ?doc)
  (has-legislative-branch ?georef ?parl)
  (unicameral-legislative-branch ?parl))
 (and
  (:pretty-name ?parl ?name)
  (documentation ?parl ?doc)))

(=>
 (and
  (wfb::legislative_branch ?georef ?name ?doc)
  (string ?name)
  (string ?doc)
  (has-legislative-branch ?georef ?parl)
  (bicameral-legislative-branch ?parl))
 (exists ?house
	 (and
	  (legislative-organization ?house)
	  (:pretty-name ?house ?name)
	  (sub-organizations ?parl ?house)
	  (documentation ?house ?doc))))

(=>
 (and
  (wfb::member_of ?georef ?org)
  (international-organization ?org))
 (member-of-international-org ?georef ?org))


(=>
 (and
  (wfb::names ?georef conventional_long_form ?name)
  (string ?name))
 (has-conventional-long-name ?georef ?name))
 
(=>
 (and
  (wfb::names ?georef conventional_short_form ?name)
  (string ?name))
 (has-conventional-short-name ?georef ?name))
 
(=>
 (and
  (wfb::names ?georef local_long_form ?name)
  (string ?name))
 (has-local-long-name ?georef ?name))
 
(=>
 (and
  (wfb::names ?georef local_short_form ?name)
  (string ?name))
 (has-local-short-name ?georef ?name))
 
(=>
 (and
  (wfb::names ?georef former ?name)
  (string ?name))
 (has-former-name ?georef ?name))
 
(=>
 (and
  (wfb::national_holiday ?georef ?name ?date)
  (date ?date))
 (exists ?holiday
	 (and
	  (has-national-holiday ?georef ?holiday)
	  (:pretty-name ?holiday ?name)
	  (holiday-date ?holiday ?date))))

(=>
 (and
  (wfb::other_political_or_pressure_groups ?georef ?doc)
  (string ?doc))
 (has-other-political-or-pressure-groups-doc ?georef ?doc))

(=>
 (and
  (wfb::political_parties_and_leaders ?georef ?doc)
  (string ?doc))
 (has-political-parties-and-leaders-doc ?georef ?doc))

(=>
 (and
  (wfb::suffrage ?georef (* ?number years-of-age))
  (number ?number))
 (has-suffrage-minimal-age ?georef (* ?number year)))

(=>
 (and
  (wfb::type ?georef ?doc)
  (string ?doc))
 (has-government-type-doc ?georef ?doc))

(=>
 (and
  (wfb::us_diplomatic_representation ?georef embassy ?address)
  (string ?address))
 (exists (?embassy ?loc)
	 (and
	  (embassy ?embassy)
	  (country-represented united-states ?georef)
	  (mission-in ?embassy ?embassy)
	  (points-of-contact ?embassy ?loc)
	  (address-text ?loc ?address))))

(=>
 (and
  (wfb::us_diplomatic_representation ?georef chief_of_mission ?name)
  (coutry-represented ?embassy united-states)
  (mission-in ?embassy ?georef)
  (embassy ?embassy)
  (string ?name))
 (exists ?ambas
	 (and
	  (chief-of-mission ?embassy ?ambas)
	  (name-string ?ambas ?name))))

(=>
 (and
  (wfb::us_diplomatic_representation ?georef telephone ?phone)
  (coutry-represented ?embassy united-states)
  (mission-in ?embassy ?georef)
  (embassy ?embassy)
  (points-of-contact ?embassy ?loc)
  (string ?phone))
 (phone-number-text ?loc ?phone))

(=>
 (and
  (wfb::us_diplomatic_representation ?georef fax ?phone)
  (coutry-represented ?embassy united-states)
  (mission-in ?embassy ?georef)
  (embassy ?embassy)
  (points-of-contact ?embassy ?loc)
  (string ?phone))
 (fax-number-text ?loc ?phone))

(=>
 (and
  (wfb::us_diplomatic_representation ?georef mailing_address ?addresss)
  (coutry-represented ?embassy united-states)
  (mission-in ?embassy ?georef)
  (embassy ?embassy)
  (points-of-contact ?embassy ?loc)
  (mailing-location ?loc)
  (string ?phone))
 (address-text ?loc ?address))


;;;unchecked.
;{

(<= (group-members ?georef ?org)
    (wfb::member_of ?org ?georef))

(<= (abbreviation-of ?x ?y)
    (wfb::abbreviation ?x ?y))

(<= (national-digraph ?x ?y)
    (wfb::digraph ?x ?y))

;(<= (name-string-conventional-long ?x ?y)
;    (wfb::names ?xconventional_long_form ?y))
;(<= (name-string-conventional-short ?x ?y)
;    (wfb::names ?xconventional_short_form ?x ?y))
;(<= (name-string-local-long ?x ?y)
;    (wfb::names ?xlocal_long_form ?y))
;(<= (name-string-local-short ?x ?y)
;    (wfb::names ?xlocal_long_short ?y))
    
;; chief-ports (slot)
;; capital-city-of-region (class)
;; capital-city (slot of geoploitical-engity)


;} 

;;;;;;;;;;;;;ECONOMICS

(=>
 (wfb::overview ?georef ?s)
 (has-economic-overview-doc ?georef ?s))

(=>
 (wfb::national_product ?georef (* ?bucks $))
 (has-national-product ?georef (* ?bucks us-dollars)))

(=>
 (wfb::national_product_real_growth_rate ?georef(* ?bucks $))
 (has-national-product-real-growth-rate ?georef (* ?bucks us-dollars)))

(=>
 (wfb::national_product_per_capita ?georef (* ?bucks $))
 (has-national-product-per-capita ?georef (* ?bucks us-dollars)))

(=>
 (wfb::inflation_rate ?georef ?x)
 (has-inflation-rate ?georef ?x))

(=>
 (wfb::unemployment_rate ?georef ?x)
 (has-unemployment-rate ?georef ?x))

(=>
 (wfb::budget ?georef revenues ?x)
 (has-budget-revenues ?georef ?x))

(=>
 (wfb::budget ?georef expenditures ?x)
 (has-budget-expenditures ?georef ?x))

(=>
 (wfb::budget ?georef capital_expenditures ?x)
 (has-budget-capital-expenditures ?georef ?x))

(=>
 (and
  (wfb::exports ?georef (* ?bucks $))
  (has-export ?georef ?e))
 (total-amount-of-trade ?e (* ?bucks us-dollars)))	;**?

(=>
 (and
  (wfb::exports ?georef commodities ?goods (* ?perc %))
  ;(number ?perc)
  (has-export ?georef ?e)
  (is ?frac (/ ?perc 100)))
 (exists (?f ?p)
	 (and
	  (fraction-of-country-trade ?f)
	  (fraction-of ?f ?e)
	  (product-based-trade-set ?p)
	  (trade-product-type ?p ?goods)
	  (fraction-defining-set ?f ?p)
	  (:cardinality fraction-defining-set ?f 1)
	  (fraction-magnitude ?f ?frac))))

(=>
 (and
  (wfb::exports ?georef commodities ?goods n/a)
  (has-export ?georef ?e))
 (exists (?f ?p)
	 (and
	  (fraction-of-country-trade ?f)
	  (fraction-of ?f ?e)
	  (product-based-trade-set ?p)
	  (trade-product-type ?p ?goods)
	  (:cardinality fraction-defining-set ?f 1)
	  (fraction-defining-set ?f ?p))))

(=>
 (and
  (wfb::exports ?georef partners ?pard (* ?perc %))
  ;(number ?perc)
  (has-export ?georef ?e)
  (is ?frac (/ ?perc 100)))
 (exists (?f ?p)
	 (and
	  (fraction-of-country-trade ?f)
	  (fraction-of ?f ?e)
	  (partner-based-trade-set ?p)
	  (partner-region ?p ?pard)
	  (fraction-defining-set ?f ?p)
	  (:cardinality fraction-defining-set ?f 1)
	  (fraction-magnitude ?f ?frac))))

(=>
 (and
  (wfb::exports ?georef partners ?pard n/a)
  (has-export ?georef ?e))
 (exists (?f ?p)
	 (and
	  (fraction-of-country-trade ?f)
	  (fraction-of ?f ?e)
	  (partner-based-trade-set ?p)
	  (partner-region ?p ?pard)
	  (:cardinality fraction-defining-set ?f 1)
	  (fraction-defining-set ?f ?p))))
 
(=>
 (and
  (wfb::imports ?georef (* ?bucks $))
  (has-import ?georef ?e))
 (total-amount-of-trade ?e (* ?bucks us-dollars)))

(=>
 (and
  (wfb::imports ?georef commodities ?goods (* ?perc %))
  ;(number ?perc)
  (has-import ?georef ?e)
  (is ?frac (/ ?perc 100)))
 (exists (?f ?p)
	 (and
	  (fraction-of-country-trade ?f)
	  (fraction-of ?f ?e)
	  (product-based-trade-set ?p)
	  (trade-product-type ?p ?goods)
	  (fraction-defining-set ?f ?p)
	  (:cardinality fraction-defining-set ?f 1)
	  (fraction-magnitude ?f ?frac))))

(=>
 (and
  (wfb::imports ?georef commodities ?goods n/a)
  (has-import ?georef ?e))
(exists (?f ?p)
	 (and
	  (fraction-of-country-trade ?f)
	  (fraction-of ?f ?e)
	  (product-based-trade-set ?p)
	  (trade-product-type ?p ?goods)
	  (:cardinality fraction-defining-set ?f 1)
	  (fraction-defining-set ?f ?p))))

(=>
    (and
     (wfb::imports ?georef partners ?pard (* ?perc %))
     ;(number ?perc)
     (has-import ?georef ?e)
     (is ?frac (/ ?perc 100)))
    (exists (?f ?p)
      (and
	   (fraction-of-country-trade ?f)
	   (fraction-of ?f ?e)
	   (partner-based-trade-set ?p)
	   (partner-region ?p ?pard)
	   (fraction-defining-set ?f ?p)
	   (:cardinality fraction-defining-set ?f 1)
	   (fraction-magnitude ?f ?frac))))

(=>
 (and
  (wfb::imports ?georef partners ?pard n/a)
  (has-import ?georef ?e))
(exists (?f ?p)
	 (and
	  (fraction-of-country-trade ?f)
	  (fraction-of ?f ?e)
	  (partner-based-trade-set ?p)
	  (partner-region ?p ?pard)
	  (:cardinality fraction-defining-set ?f 1)
	  (fraction-defining-set ?f ?p))))
 
(=>
 (wfb::external-debt ?georef (* ?bucks $))
 (has-external-debt ?georef (* ?bucks us-dollars)))

(=>
 (wfb::industrial_production ?georef growth_rate ?r)
 (has-industrial-production-growth-rate ?georef ?r))

(=>
 (and
  (wfb::industrial_production ?georef accounts_for (* ?perc %_of_gdp))
  ;(number ?perc)
  (is ?frac (/ ?perc 100)))
 (GDP-percentage-from-industrial-production ?georef ?frac))

(=>
 (wfb::electricity ?georef capacity ?volts)
 (has-electricity-capacity ?georef ?volts))

(=>
 (wfb::electricity ?georef production ?volts)
 (has-electricity-production ?georef ?volts))

(=>
 (wfb::electricity ?georef consumption_per_capita ?volts)
 (has-electricity-consumption-per-capita ?georef ?volts))

(=>
 (wfb::industry ?georef ?i)
 (has-industrial-sector ?georef ?i))

(=>
 (wfb::agriculture ?georef ?i)
 (has-agricultural-sector ?georef ?i))

(=>
 (wfb::economic_aid ?georef recipient ?doc)
 (receives-economic-aid-doc ?georef ?doc))

(=>
 (wfb::economic_aid ?georef donor ?doc)
 (gives-economic-aid-doc ?georef ?doc))

(=>
 (wfb::currency ?georef ?dollar ?hundred ?cents)
 (and
  (has-main-currency-type ?georef ?dollar)
  (has-currency-type ?georef ?cents)
  (ratio-of-main-currency-to-this-type ?cents ?hundred)))

(=>
 (wfb::fiscal_year ?georef ?date1 ?date2)
 (has-fiscal-year-starting-on ?georef ?date1))

;;;;;;;;;;;;;;;;;;;;;;
#+ignore(=> (and
     (fraction-of-country-population ?x)
     (fraction-of ?x ?super)
     (set-cardinality ?x ?fr)
     (set-cardinality ?super ?wh)
     (is ?number (/ ?fr ?wh))))

;;;;;;;;;;TRANSPORTATION

(=>
 (and
  (wfb::airports ?georef total ?num)
  (number ?num))
 (exists ?airp
	 (and
	  (country-airports ?airp)
	  (has-airports ?georef ?airp)
	  (set-cardinality ?airp ?num))))

(=>
 (and
  (wfb::airports ?georef |with paved runways over 3,047 m| ?num)
  (number ?num)
  (has-airports ?georef ?airp))
 (exists ?fr
	 (and
	  (fraction-of-country-airports ?fr)
	  (fraction-of ?fr ?airp)
	  (:cardinality fraction-defining-set ?fr 2)
	  (fraction-defining-set ?fr airport-with-paved-runways)
	  (fraction-defining-set ?fr airport-with-runways-over-3047-m)
	  (set-cardinality ?fr ?num))))
  
(=>
 (and
  (wfb::airports ?georef |with paved runways 2,438 to 3,047 m| ?num)
  (number ?num)
  (has-airports ?georef ?airp))
 (exists ?fr
	 (and
	  (fraction-of-country-airports ?fr)
	  (fraction-of ?fr ?airp)
	  (:cardinality fraction-defining-set ?fr 2)
	  (fraction-defining-set ?fr airport-with-paved-runways)
	  (fraction-defining-set ?fr airport-with-runways-2438-to-3047-m)
	  (set-cardinality ?fr ?num))))
  
(=>
 (and
  (wfb::airports ?georef |with paved runways 1,524 to 2,437 m| ?num)
  (number ?num)
  (has-airports ?georef ?airp))
 (exists ?fr
	 (and
	  (fraction-of-country-airports ?fr)
	  (fraction-of ?fr ?airp)
	  (:cardinality fraction-defining-set ?fr 2)
	  (fraction-defining-set ?fr airport-with-paved-runways)
	  (fraction-defining-set ?fr airport-with-runways-1524-to-2437-m)
	  (set-cardinality ?fr ?num))))
  
(=>
 (and
  (wfb::airports ?georef |with paved runways 914 to 1,523 m| ?num)
  (number ?num)
  (has-airports ?georef ?airp))
 (exists ?fr
	 (and
	  (fraction-of-country-airports ?fr)
	  (fraction-of ?fr ?airp)
	  (:cardinality fraction-defining-set ?fr 2)
	  (fraction-defining-set ?fr airport-with-paved-runways)
	  (fraction-defining-set ?fr airport-with-runways-914-to-1523-m)
	  (set-cardinality ?fr ?num))))
  
(=>
 (and
  (wfb::airports ?georef with_paved_runways_under_914_m ?num)
  (number ?num)
  (has-airports ?georef ?airp))
 (exists ?fr
	 (and
	  (fraction-of-country-airports ?fr)
	  (fraction-of ?fr ?airp)
	  (:cardinality fraction-defining-set ?fr 2)
	  (fraction-defining-set ?fr airport-with-paved-runways)
	  (fraction-defining-set ?fr airport-with-runways-under-914-m)
	  (set-cardinality ?fr ?num))))
  
(=>
 (and
  (wfb::airports ?georef |with unpaved runways over 3,047 m| ?num)
  (number ?num)
  (has-airports ?georef ?airp))
 (exists ?fr
	 (and
	  (fraction-of-country-airports ?fr)
	  (fraction-of ?fr ?airp)
	  (:cardinality fraction-defining-set ?fr 2)
	  (fraction-defining-set ?fr airport-with-unpaved-runways)
	  (fraction-defining-set ?fr airport-with-runways-over-3047-m)
	  (set-cardinality ?fr ?num))))
  
(=>
 (and
  (wfb::airports ?georef |with unpaved runways 2,438 to 3,047 m| ?num)
  (number ?num)
  (has-airports ?georef ?airp))
 (exists ?fr
	 (and
	  (fraction-of-country-airports ?fr)
	  (fraction-of ?fr ?airp)
	  (:cardinality fraction-defining-set ?fr 2)
	  (fraction-defining-set ?fr airport-with-unpaved-runways)
	  (fraction-defining-set ?fr airport-with-runways-2438-to-3047-m)
	  (set-cardinality ?fr ?num))))
  
(=>
 (and
  (wfb::airports ?georef |with unpaved runways 1,524 to 2,437 m| ?num)
  (number ?num)
  (has-airports ?georef ?airp))
 (exists ?fr
	 (and
	  (fraction-of-country-airports ?fr)
	  (fraction-of ?fr ?airp)
	  (:cardinality fraction-defining-set ?fr 2)
	  (fraction-defining-set ?fr airport-with-unpaved-runways)
	  (fraction-defining-set ?fr airport-with-runways-1524-to-2437-m)
	  (set-cardinality ?fr ?num))))
  
(=>
 (and
  (wfb::airports ?georef |with unpaved runways 914 to 1,523 m| ?num)
  (number ?num)
  (has-airports ?georef ?airp))
 (exists ?fr
	 (and
	  (fraction-of-country-airports ?fr)
	  (fraction-of ?fr ?airp)
	  (:cardinality fraction-defining-set ?fr 2)
	  (fraction-defining-set ?fr airport-with-unpaved-runways)
	  (fraction-defining-set ?fr airport-with-runways-914-to-1523-m)
	  (set-cardinality ?fr ?num))))
  
(=>
 (and
  (wfb::airports ?georef with_unpaved_runways_under_914_m ?num)
  (number ?num)
  (has-airports ?georef ?airp))
 (exists ?fr
	 (and
	  (fraction-of-country-airports ?fr)
	  (fraction-of ?fr ?airp)
	  (:cardinality fraction-defining-set ?fr 2)
	  (fraction-defining-set ?fr airport-with-unpaved-runways)
	  (fraction-defining-set ?fr airport-with-runways-under-914-m)
	  (set-cardinality ?fr ?num))))
  

(=>
 (and
  (wfb::highways ?georef total (* ?num km) )
  (number ?num))
 (exists ?road
	 (and
	  (highway ?road)
	  (all-highways ?georef ?road)
	  (length-of-object ?road (* ?num kilometer)))))

;;;Computationally BAAAAAAAAAAAAAAAD. Should be instantiated for every highway-type.
(=>
 (and
  (wfb::highways ?georef ?type (* ?num km) )
  (highway-type ?type)
  (all-highways ?georef ?allroad)
  (number ?num))
 (exists ?road
	 (and
	  (:instance-of ?type ?road)
	  (geographical-sub-regions ?allroad ?road)
	  (length-of-object ?road (* ?num kilometer)))))
 
(=>
 (and
  (wfb::inland_waterways ?georef ?doc)
  (string ?doc))
 (has-inland-waterways ?georef ?doc))

(=>
 (and
  (wfb::merchant_marine ?georef total ?doc)
  (string ?doc))
 (has-total-merchant-marine-doc ?georef ?doc))

(=>
 (and
  (wfb::merchant_marine ?georef ships_by_type ?doc)
  (string ?doc))
 (has-merchant-marine-by-type-doc ?georef ?doc))

(=>
 (and
  (wfb::pipelines ?georef ?type (* ?numkb))
  (pipeline-type ?type)
  (number ?num))
 (exists ?pipe
	 (and
	  (has-pipeline ?georef ?pipe)
	  (:instance-of ?pipe ?type)
	  (length-of-object ?pipe (* ?num kilometer)))))

(=>
 (and
  (wfb::port ?georef ?port)
  (city ?port))
 (chief-ports ?georef ?port))

(=>
 (and
  (wfb::railroads ?georef broad_gauge ?doc)
  (all-railroads ?georef ?allrail)
  (string ?doc))
 (exists ?rail
	 (and
	  (broad-gauge-railway ?rail)
	  (geographical-sub-regions ?allrail ?rail)
	  (documentation ?rail ?doc))))

(=>
 (and
  (wfb::railroads ?georef dual_gauge ?doc)
  (all-railroads ?georef ?allrail)
  (string ?doc))
 (exists ?rail
	 (and
	  (dual-gauge-railway ?rail)
	  (geographical-sub-regions ?allrail ?rail)
	  (documentation ?rail ?doc))))

(=>
 (and
  (wfb::railroads ?georef narrow_gauge ?doc)
  (all-railroads ?georef ?allrail)
  (string ?doc))
 (exists ?rail
	 (and
	  (narrow-gauge-railway ?rail)
	  (geographical-sub-regions ?allrail ?rail)
	  (documentation ?rail ?doc))))

(=>
 (and
  (wfb::railroads ?georef other ?doc)
  (all-railroads ?georef ?allrail)
  (string ?doc))
 (exists ?rail
	 (and
	  (railway ?rail)
	  (geographical-sub-regions ?allrail ?rail)
	  (documentation ?rail ?doc))))


(=>
 (and
  (wfb::railroads ?georef standard_gauge ?doc)
  (all-railroads ?georef ?allrail)
  (string ?doc))
 (exists ?rail
	 (and
	  (standard-gauge-railway ?rail)
	  (geographical-sub-regions ?allrail ?rail)
	  (documentation ?rail ?doc))))



(=>
 (and
  (wfb::railroads ?georef total ?doc)
  (string ?doc))
 (exists ?rail
	 (and
	  (railway ?rail)
	  (all-railroads ?georef ?rail)
	  (documentation ?rail ?doc))))

;;;;;;;;;;;;;;;COMMUNICATION

(=>
 (and
  (wfb::radio ?georef broadcast_stations am ?num)
  (number ?num)
  (has-radio-broadcast-stations ?georef ?stations))
 (exists ?fr
	 (and
	  (fraction-of-country-radio-broadcast-stations ?fr)
	  (fraction-of ?fr ?stations)
	  (fraction-defining-set ?fr am-broadcast-station)
	  (:cardinality fraction-defining-set ?fr 1)
	  (set-cardinality ?fr ?num))))

(=>
 (and
  (wfb::radio ?georef broadcast_stations fm ?num)
  (number ?num)
  (has-radio-broadcast-stations ?georef ?stations))
 (exists ?fr
	 (and
	  (fraction-of-country-radio-broadcast-stations ?fr)
	  (fraction-of ?fr ?stations)
	  (fraction-defining-set ?fr fm-broadcast-station)
	  (:cardinality fraction-defining-set ?fr 1)
	  (set-cardinality ?fr ?num))))

(=>
 (and
  (wfb::radio ?georef broadcast_stations shortwave ?num)
  (number ?num)
  (has-radio-broadcast-stations ?georef ?stations))
 (exists ?fr
	 (and
	  (fraction-of-country-radio-broadcast-stations ?fr)
	  (fraction-of ?fr ?stations)
	  (fraction-defining-set ?fr shortwave-broadcast-station)
	  (:cardinality fraction-defining-set ?fr 1)
	  (set-cardinality ?fr ?num))))

(=>
 (and
  (wfb::telephone_system ?georef ?doc)
  (string ?doc))
 (has-telephone-system-doc ?georef ?doc))

(=>
 (and
  (wfb::telephone_system ?georef local ?doc)
  (string ?doc))
 (has-telephone-system-local-doc ?georef ?doc))

(=>
 (and
  (wfb::telephone_system ?georef intercity ?doc)
  (string ?doc))
 (has-telephone-system-intercity-doc ?georef ?doc))

(=>
 (and
  (wfb::telephone_system ?georef international ?doc)
  (string ?doc))
 (has-telephone-system-international-doc ?georef ?doc))

(=>
 (and
  (wfb::television ?georef broadcast_stations ?num)
  (number ?num))
 (exists ?stations
	 (and
	  (country-tv-broadcast-stations ?stations)
	  (has-tv-broadcast-stations ?georef ?stations)
	  (set-cardinality ?stations ?num))))

(=>
 (and
  (wfb::television ?georef televisions ?num)
  (number ?num))
 (number-of-televisions ?georef ?num))


;;;;;;;;;;DEFENSE

(=>
 (and
  (wfb::defense_branch ?georef ?army)
  (defense-branch ?army))
 (has-defense-branch ?georef ?army))

(=>
 (and
  (wfb::manpower_availability ?georef ?doc)
  (string ?doc))
 (has-manpower-availability-doc ?georef ?doc))

(=>
 (and
  (wfb::defense_expenditures ?georef (* ?num $))
  (number ?num))
 (has-defense-expenditures ?georef (* ?num us-dollar)))
  
;;;;;;;;;;;;;Class lifting

(<= (city ?x) (wfb::city ?x))
(<= (product-type ?x) (wfb::commodity ?x))
(<= (currency-type ?x)(wfb::currency ?x))
(<= (defence-branch ?x)(wfb::defence-branch ?x))
(<= (ethnic-group ?x)(wfb::ethnic-entity ?x))
(<= (georef ?x)(wfb::georef ?x))
(<= (highway-type ?x)(wfb::highway-type ?x))
(<= (industrial-sector ?x)(wfb::industry ?x))
(<= (international-organization ?x)(wfb::international-organization ?x))
(<= (language-group ?x)(wfb::language-group ?x))
(<= (natural-resource ?x)(wfb::natural-resource ?x))
(<= (occupation-type ?x)(wfb::occupation-type ?x))
(<= (pipeline-type ?x)(wfb::pipeline-type ?x))
(<= (geographical-region ?x)(wfb::region ?x))
(<= (religion ?x)(wfb::religion ?x))

;;;;;;;;;;Start of OKBC footer
))
;;;;;;;;;;End of OKBC footer