GrossNationalProductFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation GrossNationalProductFn EnglishLanguage "A measure of a country's total economic output, encompassing the value of all goods and services produced by its residents, regardless of location")	Economy.kif 1019-1019
(domain GrossNationalProductFn 1 GeopoliticalArea)	Economy.kif 1023-1023	The number 1 argument of GNP is an instance of geopolitical area
(domain GrossNationalProductFn 2 Year)	Economy.kif 1024-1024	The number 2 argument of GNP is an instance of year
(range GrossNationalProductFn CurrencyMeasure)	Economy.kif 1025-1025	The range of GNP is an instance of currency measure
(instance GrossNationalProductFn BinaryFunction)	Economy.kif 1026-1026	GNP is an instance of binary function

appearance as argument number 2

(termFormat EnglishLanguage GrossNationalProductFn "gross national product")	Economy.kif 1020-1020
(termFormat EnglishLanguage GrossNationalProductFn "GNP")	Economy.kif 1021-1021
(format EnglishLanguage GrossNationalProductFn "gross national product of %1 during %2")	Economy.kif 1022-1022

antecedent

(=>
    (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) Z U 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) Z S is a member of W

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners