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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - CommercialService
CommercialService

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


(documentation CommercialService ChineseLanguage "这是由 CommercialAgent 为了赚取利息的任何 FinancialTransaction。 ") chinese_format.kif 3103-3104
(documentation CommercialService EnglishLanguage "Any FinancialTransaction by a CommercialAgent where the aim is to produce a profit.") Merge.kif 12023-12024
(subclass CommercialService FinancialTransaction) Merge.kif 12022-12022 CommercialService est une sous-classe de financial transaction
(subclass CommercialService ServiceProcess) Merge.kif 12025-12025 CommercialService est une sous-classe de ServiceProcess

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


(subclass CommercialShipping CommercialService) Mid-level-ontology.kif 8868-8868 CommercialShipping est une sous-classe de CommercialService
(subclass FinancialService CommercialService) Mid-level-ontology.kif 8349-8349 FinancialService est une sous-classe de CommercialService
(termFormat ChineseLanguage CommercialService "商业服务") domainEnglishFormat.kif 15879-15879 FinancialService est une sous-classe de CommercialService
(termFormat ChineseTraditionalLanguage CommercialService "商業服務") domainEnglishFormat.kif 15878-15878 FinancialService est une sous-classe de CommercialService
(termFormat EnglishLanguage CommercialService "commercial service") domainEnglishFormat.kif 15877-15877 FinancialService est une sous-classe de CommercialService

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


(=>
    (and
        (instance ?Service CommercialService)
        (agent ?Service ?Agent)
        (employs ?Org ?Agent)
        (destination ?Service ?Customer))
    (hasPurpose ?Service
        (exists (?Transaction)
            (and
                (instance ?Transaction FinancialTransaction)
                (destination ?Transaction ?Org)
                (origin ?Transaction ?Customer)))))		 FinancialOntology.kif 3608-3619
(=>
    (instance ?BUSINESS CommercialService)
    (exists (?AGENT)
        (and
            (instance ?AGENT CommercialAgent)
            (agent ?BUSINESS ?AGENT))))		 Merge.kif 12027-12032

consequent
-------------------------


(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (destination ?Transaction ?Agent))
    (and
        (instance ?Service CommercialService)
        (agent ?Service ?Agent)
        (attribute ?Service OpenService)))		 FinancialOntology.kif 3977-3984
(=>
    (attribute ?X MeanOfProduction)
    (hasPurpose ?X
        (or
            (exists (?MAKE ?PRODUCT)
                (and
                    (instance ?MAKE Making)
                    (involvedInEvent ?MAKE ?X)
                    (not
                        (result ?MAKE ?X))
                    (instance ?PRODUCT Artifact)
                    (result ?MAKE ?PRODUCT)
                    (hasPurpose ?PRODUCT
                        (exists (?SELL)
                            (and
                                (instance ?SELL Selling)
                                (patient ?SELL ?PRODUCT))))))
            (exists (?SERVICE)
                (and
                    (instance ?SERVICE CommercialService)
                    (involvedInEvent ?SERVICE ?X))))))		 Economy.kif 6089-6109
(=>
    (instance ?BAKERY Bakery)
    (exists (?SERVICE ?FOOD ?BAKE)
        (and
            (instance ?BAKE Baking)
            (result ?BAKE ?FOOD)
            (instance ?FOOD
                (FoodForFn Human))
            (agent ?BAKE ?BAKERY)
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?BAKERY)
            (instance ?SERVICE Selling)
            (patient ?SERVICE ?FOOD))))		 Dining.kif 70-81
(=>
    (instance ?C EntertainmentCompany)
    (exists (?P)
        (and
            (instance ?P CommercialService)
            (agent ?P ?C)
            (instance ?P Performance))))		 Mid-level-ontology.kif 8279-8285
(=>
    (instance ?C Publisher)
    (exists (?S)
        (and
            (instance ?S CommercialService)
            (agent ?S ?C)
            (instance ?S Publication))))		 Mid-level-ontology.kif 8418-8424
(=>
    (instance ?C Restaurant)
    (exists (?S ?F ?B)
        (and
            (instance ?S CommercialService)
            (agent ?S ?C)
            (instance ?S Selling)
            (instance ?B RestaurantBuilding)
            (eventLocated ?S ?B)
            (patient ?S ?F)
            (instance ?F
                (FoodForFn Human)))))		 Mid-level-ontology.kif 8442-8452
(=>
    (instance ?C TransportationCompany)
    (exists (?S)
        (and
            (instance ?S CommercialService)
            (agent ?S ?C)
            (instance ?S Transportation))))		 Mid-level-ontology.kif 8340-8346
(=>
    (instance ?COMPANY Coffeeshop)
    (exists (?SERVICE ?BEVERAGE)
        (and
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?COMPANY)
            (instance ?SERVICE Selling)
            (patient ?SERVICE ?BEVERAGE)
            (instance ?BEVERAGE Coffee))))		 Dining.kif 36-44
(=>
    (instance ?COMPANY RailroadCompany)
    (exists (?SERVICE ?TRAIN)
        (and
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?COMPANY)
            (instance ?SERVICE Transportation)
            (instrument ?SERVICE ?TRAIN)
            (instance ?TRAIN Train))))		 Transportation.kif 4366-4374
(=>
    (instance ?COMPANY Tavern)
    (exists (?SERVICE ?BEVERAGE)
        (and
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?COMPANY)
            (instance ?SERVICE Selling)
            (patient ?SERVICE ?BEVERAGE)
            (instance ?BEVERAGE AlcoholicBeverage))))		 Mid-level-ontology.kif 8850-8858
(=>
    (instance ?ORG Manufacturer)
    (hasPurpose ?ORG
        (exists (?MANUFACTURE)
            (and
                (instance ?MANUFACTURE Manufacture)
                (instance ?MANUFACTURE CommercialService)
                (agent ?MANUFACTURE ?ORG)))))		 Merge.kif 16376-16383
(=>
    (instance ?ORG MercantileOrganization)
    (hasPurpose ?ORG
        (exists (?SELL)
            (and
                (instance ?SELL Selling)
                (instance ?SELL CommercialService)
                (agent ?SELL ?ORG)))))		 Merge.kif 16389-16396
(=>
    (instance ?PUB Brewpub)
    (exists (?SERVICE ?BEER ?BREW)
        (and
            (instance ?BREW Making)
            (result ?BREW ?BEER)
            (instance ?BEER Beer)
            (agent ?BREW ?PUB)
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?PUB)
            (instance ?SERVICE Selling)
            (patient ?SERVICE ?BEER))))		 Dining.kif 51-62
(=>
    (instance ?STEAKHOUSE Steakhouse)
    (exists (?SERVICE ?STEAK ?BEEF ?COOK)
        (and
            (instance ?COOK Cooking)
            (instance ?BEEF Beef)
            (resource ?COOK ?BEEF)
            (result ?COOK ?STEAK)
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?STEAKHOUSE)
            (instance ?SERVICE Selling)
            (patient ?SERVICE ?STEAK))))		 Dining.kif 88-99


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