Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ServiceInEconomics
ServiceInEconomics(service)service

appearance as argument number 1
-------------------------


(documentation ServiceInEconomics EnglishLanguage "A service is an act for which a consumer, company, or government is willing to pay.") Economy.kif 6901-6902
(instance ServiceInEconomics Attribute) Economy.kif 6904-6904 Service is an instance of attribute

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ServiceInEconomics "service") Economy.kif 6903-6903

antecedent
-------------------------


(=>
    (attribute ?PROC ServiceInEconomics)
    (exists (?S)
        (and
            (instance ?PROC Process)
            (hasPurpose ?PROC
                (and
                    (instance ?S Selling)
                    (patient ?S ?PROC))))))		 Economy.kif 6906-6914 If service is an attribute of X, then there exists Y such that X is an instance of process, X has the purpose Y is an instance of selling, and X is a patient of Y

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 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners