;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;
;;; CKB knowledge base, modified for KRSS syntax and other modifications.
;;;
;;; This knowledge base was used in the DFKI DL system comparisons.  It 
;;; contains information about tax regulations and was used in the
;;; natural language projec XTRA at the Univ. of Saarbruecken. 
;;; 
;;; Use only for experimental or research purposes.
;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Further modified by 
;;; 1/ removing all domain-range informationfrom roles
;;; 2/ replacing defined roles by primitive roles
;;; 3/ removing parents from roles

(define-primitive-concept SIGNS  
  (and TOP))
(define-primitive-concept NAME  
  (and SIGNS))
(define-primitive-role S-NAME)
(define-concept SETTLEMENT  
  (and TOP 
       (at-least 1 S-NAME)
       (at-most 1 S-NAME)))
(define-primitive-concept CITY  
  (and SETTLEMENT))
(define-primitive-concept STATE  
  (and SETTLEMENT))
(define-primitive-concept PHYSICAL-OBJECT  
  (and TOP))
(define-primitive-concept PHY-1  
  (and PHYSICAL-OBJECT))
(define-primitive-concept ANIMATE-BEING  
  (and PHYSICAL-OBJECT))
(define-primitive-concept LICENSE-NUMBER  
  (and NAME))
(define-primitive-role NAME-R)
(define-concept AGENT  
  (and TOP 
       (at-least 1 NAME-R)
       (at-most 1 NAME-R)))
(define-primitive-role SETTLED-in)
(define-primitive-concept PHYSICAL-JURISTICAL-PER  
  (and AGENT 
       (at-least 1 SETTLED-in)
       (at-most 1 SETTLED-in)))
(define-concept ANIMAL  
  (and ANIMATE-BEING AGENT))
(define-concept PERSON  
  (and ANIMAL PHYSICAL-JURISTICAL-PER))
(define-primitive-role DRIVER)
(define-primitive-role OWNER)
(define-primitive-role LICENSE)
(define-concept VEHICLE  
  (and PHYSICAL-OBJECT 
       (at-least 1 LICENSE)
       (at-most 1 LICENSE) 
       (at-least 1 OWNER)
       (at-most 1 OWNER) 
       (at-least 1 DRIVER)
       (at-most 1 DRIVER)))
(define-primitive-concept PERIOD-OF-TIME  
  (and TOP))
(define-primitive-concept DAY  
  (and PERIOD-OF-TIME))
(define-primitive-concept MONTH  
  (and PERIOD-OF-TIME))
(define-primitive-concept YEAR  
  (and PERIOD-OF-TIME))
(define-primitive-role YEAR-R)
(define-primitive-role MONTH-R)
(define-primitive-role DAY-R)
(define-concept DATE  
  (and TOP 
       (at-least 1 DAY-R)
       (at-most 1 DAY-R) 
       (at-least 1 MONTH-R)
       (at-most 1 MONTH-R) 
       (at-least 1 YEAR-R)
       (at-most 1 YEAR-R)))
(define-primitive-concept INSTITUTION  
  (and PHYSICAL-JURISTICAL-PER))
(define-primitive-concept ADDABLES  
  (and SIGNS))
(define-primitive-concept NUMB  
  (and ADDABLES))
(define-primitive-role NUMB-NAME)
(define-primitive-concept NAMED_NUMBER  
  (and TOP 
       (at-least 1 NUMB-NAME)
       (at-most 1 NUMB-NAME)))
(define-primitive-role DAY-S-LEAVE)
(define-primitive-role PLACE-OF-WORK)
(define-primitive-role EMPLOYEE)
(define-primitive-role EMPLOYER)
(define-primitive-role BEGIN)
(define-primitive-role END)
(define-concept EMPLOYMENT  
  (and TOP 
       (at-least 1 END)
       (at-most 1 END)
       (at-least 1 BEGIN)				
       (at-most 1 BEGIN)
       (at-least 1 EMPLOYER)
       (at-most 1 EMPLOYER)
       (at-least 1 EMPLOYEE)
       (at-most 1 EMPLOYEE)
       (at-least 1 PLACE-OF-WORK) 
       (at-least 1 DAY-S-LEAVE)))
(define-primitive-role HAS-JOB)
(define-primitive-concept PROFESSION  
  (and TOP))
(define-primitive-role HAS-PROFESSION)
(define-primitive-role WORKING-MATERIALS)
(define-concept LICENSED-VEHICLE  
  (and VEHICLE 
       (at-least 1 LICENSE)))
(define-primitive-role OWNER-PRIVATE-VEHICLE)
(define-concept PRIVATE-VEHICLE  
  (and LICENSED-VEHICLE 
       (all OWNER-PRIVATE-VEHICLE PERSON)))
(define-primitive-concept MOTOR-BYKE  
  (and PRIVATE-VEHICLE))
(define-primitive-concept BYCICLE  
  (and PRIVATE-VEHICLE))
(define-primitive-concept AUTOMOBILE  
  (and PRIVATE-VEHICLE))
(define-primitive-role OWNER-PUBLIC-TRANSPORTATION)
(define-concept PUBLIC-TRANSPORTATION  
  (and LICENSED-VEHICLE 
       (all OWNER-PUBLIC-TRANSPORTATION INSTITUTION)))
(define-primitive-concept BUS  
  (and PUBLIC-TRANSPORTATION))
(define-primitive-concept PROFESSIONAL-ASSOCIATION  
  (and INSTITUTION))
(define-primitive-concept TAX-TOP  
  (and TOP))
(define-primitive-concept VALUTA  
  (and TOP))
(define-primitive-role CURRENCY)
(define-primitive-role VALUE)
(define-primitive-concept AMOUNT-OF-MONEY  
  (and TOP 
       (at-least 1 VALUE)
       (at-most 1 VALUE) 
       (at-least 1 CURRENCY)
       (at-most 1 CURRENCY)))
(define-primitive-role C-REPETITION-INT)
(define-concept COSTS  
  (and AMOUNT-OF-MONEY 
       (at-least 1 C-REPETITION-INT)
       (at-most 1 C-REPETITION-INT)))
(define-primitive-role C-REPETITION-INT-MONTHLY-COSTS)
(define-concept MONTHLY-COSTS  
  (and COSTS 
       (all C-REPETITION-INT-MONTHLY-COSTS MONTH)))
(define-primitive-role AMOUNT)
(define-concept MEMBERSHIP-FEE  
  (and TAX-TOP 
       (at-least 1 AMOUNT)
       (at-most 1 AMOUNT)))
(define-primitive-role ASSOC.-FEE)
(define-primitive-role REPRESENTS)
(define-primitive-concept INFORMATIK  
  (and PROFESSION))
(define-primitive-role REPRESENTS-COMP.)
(define-primitive-concept COMP.  
  (and PROFESSIONAL-ASSOCIATION 
       (all REPRESENTS-COMP. INFORMATIK)))
(define-primitive-concept AISB  
  (and COMP.))
(define-primitive-concept GI  
  (and COMP.))
(define-primitive-concept SYSTEM  
  (and AGENT))
(define-primitive-concept USER  
  (and PERSON))
(define-primitive-concept FRECH-FRANC  
  (and VALUTA))
(define-primitive-concept GERMAN-MARK  
  (and VALUTA))
(define-primitive-role AGENS)
(define-primitive-role REPETITION-INT)
(define-concept ACTION  
  (and TOP 
       (at-least 1 REPETITION-INT)
       (at-most 1 REPETITION-INT)
       (at-least 1 AGENS)))
(define-primitive-concept WEEK  
  (and PERIOD-OF-TIME))
(define-primitive-concept SCHREINER-GEWERBE  
  (and PROFESSION))
(define-primitive-role COSTS-R)
(define-concept TAX-ACTION  
  (and TAX-TOP ACTION 
       (at-least 1 COSTS-R)))
(define-primitive-concept RETURN  
  (and AMOUNT-OF-MONEY))
(define-primitive-role RETURN-R)
(define-primitive-role REPETITION-INT-DAILY-TAX-ACTION)
(define-concept DAILY-TAX-ACTION  
  (and TAX-ACTION 
       (all REPETITION-INT-DAILY-TAX-ACTION DAY)))
(define-primitive-role OBJECT)
(define-concept OBJECT-TRANSFER  
  (and TAX-ACTION 
       (at-least 1 OBJECT)))
(define-primitive-role AGENS-TO)
(define-primitive-role OBJECT-OBJ)
(define-primitive-role OBJECT-GO)
(define-concept TO-GO
  (and OBJECT-TRANSFER 
       (all AGENS-TO PERSON) 
       (at-least 1 OBJECT)
       (at-least 1 OBJECT-OBJ)
       (at-least 1 OBJECT-GO)))
(define-primitive-role DESTINATION)
(define-primitive-role SOURCE)
(define-primitive-role VEHICLE-TYPE)
(define-concept SINGLE-COMMUTE  
  (and TO-GO DAILY-TAX-ACTION 
       (at-least 1 SOURCE)
       (at-most 1 SOURCE)
       (at-least 1 DESTINATION)))
(define-primitive-role VEHICLE-TYPE-GO)
(define-concept GO-WITH-PUBLIC-TRANSPORTATION
  (and TO-GO 
       (all VEHICLE-TYPE-GO PUBLIC-TRANSPORTATION)))
(define-concept COMMUTE-WITH-PUBLIC-TRANSPORTATION
  (and GO-WITH-PUBLIC-TRANSPORTATION SINGLE-COMMUTE 
       (at-least 1 SOURCE) 
       (at-least 1 DESTINATION)))
(define-primitive-role VEHICLE-TYPE-DRIVE)
(define-concept DRIVE  
  (and TO-GO 
       (all VEHICLE-TYPE-DRIVE PRIVATE-VEHICLE)))
(define-primitive-role AGENS-PAY)
(define-primitive-concept PAY  
  (and OBJECT-TRANSFER 
       (all AGENS-PAY PERSON)))
(define-primitive-role RECIPIENT)
(define-primitive-role PAY-OBJECT)
(define-primitive-role RECIPIENT-PAY)
(define-primitive-concept PAY-FEE
  (and PAY 
       (all RECIPIENT-PAY PROFESSIONAL-ASSOCIATION)))
(define-primitive-concept SELL  
  (and OBJECT-TRANSFER))
(define-primitive-concept BUY  
  (and OBJECT-TRANSFER))
(define-primitive-concept INANIMATE-OBJECT  
  (and TAX-TOP))
(define-primitive-concept BOOK  
  (and INANIMATE-OBJECT))
(define-primitive-concept SPECIAL-CHARS  
  (and SIGNS))
(define-primitive-concept CROSS  
  (and SPECIAL-CHARS))
(define-primitive-concept HOOK  
  (and SPECIAL-CHARS))
(define-primitive-concept BLANK  
  (and SIGNS))
(define-primitive-concept NUMB-NAME_35  
  (and NUMB))
(define-primitive-concept NUMB-NAME_50  
  (and NUMB))
(define-primitive-concept PERSON-NAME  
  (and NAME))
(define-primitive-concept CITY-NAME  
  (and NAME))
(define-primitive-concept VOELKLINGEN  
  (and CITY-NAME))
(define-primitive-concept SAARBRUECKEN  
  (and CITY-NAME))
(define-primitive-concept BERLIN  
  (and CITY-NAME))
(define-primitive-concept NUMBER_35  
  (and NAMED_NUMBER))
(define-primitive-concept NUMBER_50  
  (and NAMED_NUMBER))
(define-primitive-role C-REPETITION-INT-DAILY-COSTS)
(define-concept DAILY-COSTS  
  (and COSTS 
       (all C-REPETITION-INT-DAILY-COSTS DAY) 
       (at-least 1 C-REPETITION-INT-DAILY-COSTS)))