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 GrossNationalProductFn is an instance of geopolitical area
(domain GrossNationalProductFn 2 Year)	Economy.kif 1024-1024	The number 2 argument of GrossNationalProductFn is an instance of year
(instance GrossNationalProductFn BinaryFunction)	Economy.kif 1026-1026	GrossNationalProductFn is an instance of binary function
(range GrossNationalProductFn CurrencyMeasure)	Economy.kif 1025-1025	The range of GrossNationalProductFn is an instance of currency measure

appearance as argument number 2

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

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 a currency measure and GrossNationalProductFn a geopolitical area and a year,
then there exists a collection such that the collection is an instance of collection and value of the collection is the currency measure and
- if a process is an instance of manufacture and a physical is a result of the process and the processAKER is an agent of the process and the processAKER is a member of CitizenryFn the geopolitical area and finishesDuring the time of existence of the process and the year,
- then the physical is a member of the collection
and
- if an object is an instance of process and ServiceInEconomics is an attribute of the object and another agent is an agent of the object and the other agent is a member of CitizenryFn the geopolitical area and finishesDuring the time of existence of the object and the year,
- then the object is a member of the collection

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: