consequent

(=>     (equal ?GNP         (GrossNationalProductFn ?GPA ?Y))     (exists (?PRODANDSERV)         (and             (instance ?PRODANDSERV Collection)             (monetaryValue ?PRODANDSERV ?GNP)             (=>                 (and                     (instance ?M Manufacture)                     (result ?M ?PRODUCT)                     (agent ?M ?MAKER)                     (member ?MAKER                         (CitizenryFn ?GPA))                     (finishesDuring                         (WhenFn ?M) ?Y))                 (member ?PRODUCT ?PRODANDSERV))             (=>                 (and                     (instance ?SERVICE Process)                     (attribute ?SERVICE ServiceInEconomics)                     (agent ?SERVICE ?PROVIDER)                     (member ?PROVIDER                         (CitizenryFn ?GPA))                     (finishesDuring                         (WhenFn ?SERVICE) ?Y))                 (member ?SERVICE ?PRODANDSERV)))))	Economy.kif 1029-1050	If equal X and gross national product of Y during Z, then All of the following hold: (1) there exists W such that W is an instance of collection (2) value of W is X (3) V is an instance of manufacture (4) U is a result of V (5) T is an agent of V (6) T is a member of the citizenry of Y (7) finishes during the time of existence of V (8) ZU is a member of W (9) S is an instance of process (10) service is an attribute of S (11) R is an agent of S (12) R is a member of the citizenry of Y (13) finishes during the time of existence of S (14) ZS is a member of W
(=>     (instance ?GAS GoodsAndServices)     (and         (instance ?GPA GeopoliticalArea)         (=>             (and                 (instance ?M Manufacture)                 (result ?M ?PRODUCT)                 (agent ?M ?MAKER)                 (member ?MAKER                     (CitizenryFn ?GPA))                 (finishesDuring                     (WhenFn ?M) ?Y)                 (located ?M ?GPA))             (member ?PRODUCT ?GAS))         (=>             (and                 (instance ?SERVICE Process)                 (attribute ?SERVICE ServiceInEconomics)                 (agent ?SERVICE ?PROVIDER)                 (member ?PROVIDER                     (CitizenryFn ?GPA))                 (finishesDuring                     (WhenFn ?SERVICE) ?Y)                 (located ?SERVICE ?GPA))             (member ?SERVICE ?GAS))))	Economy.kif 6921-6942	If X is an instance of goods and services, then Y is an instance of geopolitical area, if All of the following hold: (1) Z is an instance of manufacture (2) W is a result of Z (3) V is an agent of Z (4) V is a member of the citizenry of Y (5) finishes during the time of existence of Z and U (6) Z is located at Y, then W is a member of X, and if All of the following hold: (1) T is an instance of process (2) service is an attribute of T (3) S is an agent of T (4) S is a member of the citizenry of Y (5) finishes during the time of existence of T and U (6) T is located at Y, then T is a member of X

Show simplified definition (without tree view)
Show simplified definition (with tree view)