;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;
;;; Datamont knowledge base, modified in several ways.
;;; This version also modified to conform with KRSS syntax
;;;
;;; This knowledge base was originally used in an Esprit project involving
;;; TU Berlin and Datamont.  The goal was to develop technology for an
;;; executive kb (what managers want to know about the structure of their
;;; company).  The knowledge base was used in the DFKI comparison of DL
;;; systems.  
;;;
;;; Use for experimental or research purposes is permitted.
;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(define-primitive-concept named_thing TOP)
(define-primitive-role named)
(implies (at-least 1 named) named_thing)
(implies top (all named STRING))

(define-primitive-concept geographic_name TOP)
(define-primitive-concept continent_name (and geographic_name))
(define-primitive-concept nation_name (and geographic_name))
(define-primitive-concept Italy nation_name)
(define-primitive-concept England nation_name)
(define-primitive-concept USA nation_name)
(define-primitive-concept Germany nation_name)
(define-primitive-concept Australia nation_name)
(define-primitive-concept city_name (and geographic_name))
(define-primitive-concept address_name (and geographic_name))
(define-primitive-concept geoeconomical_name (and geographic_name))
(define-primitive-concept geopolitical_name (and geographic_name))

(define-primitive-concept geographic_locality TOP)
(define-primitive-role geo_named)
(implies (at-least 1 geo_named) geographic_locality)
(implies top (all geo_named geographic_name))
(define-primitive-role is_in)
(implies (at-least 1 is_in) geographic_locality)
(implies top (all is_in geographic_locality))
(define-concept geoeconomical_area (and geographic_locality (all geo_named geoeconomical_name)))
(define-concept geopolitical_area (and geographic_locality (all geo_named geopolitical_name)))
(define-concept address (and geographic_locality (all geo_named address_name)))
(define-concept city (and geographic_locality (all geo_named city_name)))
(define-concept nation (and geographic_locality (all geo_named nation_name)))
(define-concept continent (and geographic_locality (all geo_named continent_name)))

(define-primitive-concept activity named_thing)
(define-primitive-role subactivity_of)
(implies (at-least 1 subactivity_of) activity)
(implies top (all subactivity_of activity))
(define-disjoint-primitive-concept commercial_activity (commercial) (and activity (all subactivity_of TOP)))
(define-disjoint-primitive-concept non_commercial_activity (commercial)
  (and activity (all subactivity_of TOP)))

(define-primitive-concept business_area TOP)
(define-primitive-concept trading_services business_area)
(define-primitive-concept manufacturing business_area)
(define-primitive-concept agriculture_mining business_area)
(define-primitive-concept insurance trading_services)
(define-primitive-concept financial_services trading_services)
(define-primitive-concept transport_telecommunication trading_services)
(define-primitive-concept trading trading_services)
(define-primitive-concept engineering manufacturing)
(define-primitive-concept paper manufacturing)
(define-primitive-concept publishing manufacturing)
(define-primitive-concept mechanics manufacturing)
(define-primitive-concept chemistry manufacturing)
(define-primitive-concept food manufacturing)
(define-primitive-concept mining agriculture_mining)
(define-primitive-concept agriculture agriculture_mining)
(define-primitive-concept transportation transport_telecommunication)
(define-primitive-concept road_transportation transportation)
(define-primitive-concept cariage_by_sea transportation)
(define-primitive-concept air_transportation transportation)
(define-primitive-concept telecommunication transport_telecommunication)
(define-primitive-concept informatics telecommunication)

(define-primitive-role unit)
(define-disjoint-primitive-concept Lit (currency) TOP)
(define-disjoint-primitive-concept DM (currency) TOP)
(define-disjoint-primitive-concept US (currency) TOP)
(implies (at-least 1 unit) money)
(implies top (all unit (or Lit DM US)))
;(implies Lit (not (and DM US)))
;(implies DM (not (and Lit US)))
;(implies US (not (and DM Lit)))
;(define-primitive-role val)
(implies (a val) money)
(implies (a val) (and (min val 0) (max val 100000)))
(define-primitive-concept money (and (at-least 1 unit) (at-most 1 unit) (a val)))

;(define-primitive-role day)
(implies (a day) date)
(implies (a day) (and (min day 1) (max day 31)))
(define-primitive-role month)
(define-disjoint-primitive-concept jan (months) TOP)
(define-disjoint-primitive-concept feb (months) TOP)
(define-disjoint-primitive-concept mar (months) TOP)
(define-disjoint-primitive-concept apr (months) TOP)
(define-disjoint-primitive-concept may (months) TOP)
(define-disjoint-primitive-concept jun (months) TOP)
(define-disjoint-primitive-concept jul (months) TOP)
(define-disjoint-primitive-concept aug (months) TOP)
(define-disjoint-primitive-concept sep (months) TOP)
(define-disjoint-primitive-concept oct (months) TOP)
(define-disjoint-primitive-concept nov (months) TOP)
(define-disjoint-primitive-concept dec (months) TOP)
(implies (at-least 1 month) date)
(implies top (all month (or jan feb mar apr may jun jul aug sep oct nov dec)))
;(define-primitive-role year)
(implies (a year) date)
(implies (a year) (and (min year 0) (max year 2200)))
(define-primitive-concept date (and (a day) (at-least 1 month) (a year) (at-most 1 month)))

(define-primitive-concept juridical_person named_thing)

(define-primitive-role firstname)
(implies (at-least 1 firstname) physical_person)
(implies top (all firstname STRING))
(define-primitive-role surname)
(implies (at-least 1 surname) physical_person)
(implies top (all surname STRING))
(define-primitive-role birthdate)
(implies (at-least 1 birthdate) physical_person)
(implies top (all birthdate date))
(define-primitive-role birthplace)
(implies (at-least 1 birthplace) physical_person)
(implies top (all birthplace city))
(define-primitive-role residence)
(implies (at-least 1 residence) physical_person)
(implies top (all residence address))
(define-primitive-concept physical_person
  (and juridical_person (at-least 1 surname) (at-least 1 firstname)
       (at-least 1 birthdate) (at-least 1 birthplace) 
       (at-least 1 residence) (at-most 1 surname) 
       (at-most 1 birthdate) (at-most 1 birthplace)))

;(define-primitive-role percentage)
(implies (a percentage) participation)
(implies (a percentage) (and (min percentage 0) (max percentage 100)))
;(define-primitive-role num)
(implies (a num) participation)
(implies (a num) (and (min num 0) (max num 100000)))
(define-primitive-role belonging_to)
(implies (at-least 1 belonging_to) participation)
(implies top (all belonging_to juridical_person))
(define-primitive-role unit_value)
(implies (at-least 1 unit_value) participation)
(implies top (all unit_value money))
(define-primitive-concept participation
  (and (at-least 1 unit_value) (a num) 
       (a percentage) (at-least 1 belonging_to)
       (at-most 1 unit_value) (at-most 1 belonging_to)))

(define-disjoint-primitive-concept share (share) participation)
(define-disjoint-primitive-concept quota (share) participation)

(define-disjoint-primitive-concept paid_up_share (paidshare) share)
(define-disjoint-primitive-concept unpaid_up_share (paidshare) share)

(define-disjoint-primitive-concept ordinary_share (typeshare) paid_up_share)
(define-disjoint-primitive-concept preference_share (typeshare) paid_up_share)
(define-disjoint-primitive-concept saving_share (typeshare) paid_up_share)

(define-primitive-concept capital TOP)
(define-primitive-role subdivided_in)
(implies (at-least 1 subdivided_in) capital)
(implies top (all subdivided_in participation))
(define-concept share_capital (and capital (all subdivided_in share)))
(define-concept partnership_capital (and capital (all subdivided_in quota) 
				     (at-least 2 subdivided_in)))

(define-primitive-concept company_group named_thing)
(define-primitive-role compound_by)
(implies (at-least 1 compound_by) company_group)
(implies top (all compound_by company))
(define-primitive-concept company (and juridical_person (at-least 1 named)))
(define-primitive-role expire_on)
(implies (at-least 1 expire_on) company)
(implies top (all expire_on date))
(define-primitive-role founded)
(implies (at-least 1 founded) company)
(implies top (all founded date))
(define-primitive-role has_capital)
(implies (at-least 1 has_capital) company)
(implies top (all has_capital capital))
(define-primitive-role operate_in)
(implies (at-least 1 operate_in) company)
(implies top (all operate_in business_area))
(define-primitive-role engaged_in)
(implies (at-least 1 engaged_in) company)
(implies top (all engaged_in activity))
(define-primitive-role has_partner)
(implies (at-least 1 has_partner) company)
(implies top (all has_partner juridical_person))
(define-primitive-role has_limited_partner :parents (has_partner))
(define-primitive-role has_unlimited_partner :parents (has_partner))
(define-primitive-role has_shareholder :parents (has_partner))
(define-primitive-role has_limited_shareholder :parents (has_limited_partner has_shareholder))
(define-primitive-role has_unlimited_shareholder :parents (has_unlimited_partner has_shareholder))
(define-primitive-role present_in)
(implies (at-least 1 present_in) company)
(implies top (all present_in geographic_locality))
(define-primitive-role office :parents (present_in))
(define-primitive-role located_in :parents (present_in))
(define-primitive-role installation :parents (present_in))
(define-primitive-role registered_office :parents (office located_in))
(define-primitive-role operated_office :parents (office))
(define-primitive-role nationality :parents (located_in))
(implies top (all nationality nation))

(define-concept commercial_company (and company (all engaged_in commercial_activity)))
(define-concept non_commercial_company (and company (all engaged_in non_commercial_activity)))

(define-concept limited_company (and company (at-least 1 has_limited_partner)
				 (at-most 0 has_unlimited_partner)))

(define-concept societa_di_capitali limited_company)
(define-concept unlimited_company (and company (at-most 0 has_limited_partner)
				   (at-least 1 has_unlimited_partner)
				   (all has_capital
					(and capital (all subdivided_in
							  (and participation 
							       (all belonging_to physical_person))))
					)))
(define-concept societa_di_persone unlimited_company)
(define-concept limited_partnership (and company (at-least 1 has_limited_partner)
				     (at-least 1 has_unlimited_partner)))

(define-concept company_of_share (and company (all has_capital share_capital)))
(define-concept company_of_quota (and company (all has_capital partnership_capital)))

(define-concept partnership (and company_of_quota non_commercial_company unlimited_company))
(define-concept corporation (and company_of_share limited_company commercial_company))
(define-concept private_company (and company_of_share (at-most 50 has_partner)
				 (at-least 2 has_partner)))

(define-primitive-concept unquoted_company company_of_share) 
(define-primitive-concept quoted_company company_of_share)

(define-primitive-role listed_on)
(implies (at-least 1 listed_on) quoted_company)
(implies top (all listed_on city))

(define-concept italian_company (and company (all nationality 
					      (all geo_named Italy))))
(define-concept societa_semplice (and italian_company partnership))
(define-concept snc (and italian_company commercial_company company_of_quota unlimited_company))
(define-concept societa_in_nome_colletivo snc)
(define-concept srl (and italian_company commercial_company company_of_quota limited_company))
(define-concept sosieta_a_responsabilita_limitata srl)
(define-concept spa (and italian_company corporation))
(define-concept societa_per_azioni spa)
(define-concept unquoted_spa (and spa unquoted_company))
(define-concept societa_per_azioni_non_quotata unquoted_spa)
(define-concept quoted_spa (and spa quoted_company))
(define-concept societa_per_azioni_quotata quoted_spa)
(define-concept societa_in_accomandita (and limited_partnership commercial_company italian_company))
(define-concept saa (and societa_in_accomandita company_of_share))
(define-concept societa_in_accomandita_per_azioni saa)
(define-concept sas (and societa_in_accomandita company_of_quota))
(define-concept societa_in_accomandita_smplice sas)
(define-concept unquoted_saa (and saa unquoted_company))
(define-concept societa_in_accomandita_per_azioni_non_quotata unquoted_saa)
(define-concept quoted_saa (and saa quoted_company))
(define-concept societa_in_accomandita_per_azioni_quotata quoted_saa)

(define-concept english_company (and company (all nationality 
					      (all geo_named England))))
(define-concept uk_unlimited_company (and english_company unlimited_company))
(define-concept uk_limited_partnership (and limited_partnership english_company))
(define-concept uk_private_company (and english_company private_company))
(define-concept uk_joint_stock_company (and english_company corporation))
(define-concept uk_limited_company uk_joint_stock_company) 
(define-concept ukltd uk_joint_stock_company)
(define-concept uk_corporation uk_joint_stock_company)
(define-concept uk_partnership (and partnership english_company (at-most 50 has_partner) 
				(at-least 10 has_partner)))

(define-concept american_company (and company (all nationality 
					      (all geo_named USA))))
(define-concept inc (and american_company corporation))
(define-concept usa_corporation inc)
(define-concept incorporated_company inc)
(define-concept usa_joint_stock_association (and american_company unlimited_company commercial_company
					     company_of_share))
(define-concept usa_joint_stock_company usa_joint_stock_association)

(define-concept german_company (and company (all nationality 
					      (all geo_named Germany))))
(define-concept gmbh (and german_company company_of_quota limited_company commercial_company))
(define-concept gesellschaft_mit_beschraenkter_half gmbh)
(define-concept ag (and german_company corporation))
(define-concept aktiengesellschaft ag)

(define-concept australian_company (and company (all nationality 
					      (all geo_named Australia))))
(define-concept australian_pty_ltd (and australian_company private_company))
(define-concept australian_proprietary_limited_company australian_pty_ltd)