CommercialAgent - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CommercialAgent ChineseLanguage "这是一个为了牟利，以收取费用而提供产品和/或服务的一个 Agent that。")	chinese_format.kif 3658-3659
(documentation CommercialAgent EnglishLanguage "An Agent that provides products and/ or services for a fee with the aim of making a profit.")	Merge.kif 14977-14979
(externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Macau_Venetian_Macao_McDonalds_Shop_a.jpg")	pictureList.kif 10707-10707
(externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ A380_in_Dubai_on_11_November_2007_Pict_2.jpg")	pictureList.kif 9969-9969
(externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ e/ e0/ BMW_Logo_f%C3%BCr_Werbung_auf_Gestell_montiert.JPG")	pictureList.kif 10710-10710
(externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Microsoft_Sign_on_German_campus.jpg")	pictureList.kif 10709-10709
(subclass CommercialAgent Agent)	Merge.kif 14976-14976	Commercial agent is a subclass of agent

appearance as argument number 2

(disjoint NonprofitOrganization CommercialAgent)	Mid-level-ontology.kif 7316-7316	Nonprofit organization is disjoint from commercial agent
(subclass Business CommercialAgent)	Merge.kif 14982-14982	Business is a subclass of commercial agent
(termFormat ChineseLanguage CommercialAgent "商业代理人")	domainEnglishFormat.kif 15691-15691
(termFormat ChineseTraditionalLanguage CommercialAgent "商業代理人")	domainEnglishFormat.kif 15690-15690
(termFormat EnglishLanguage CommercialAgent "commercial agent")	domainEnglishFormat.kif 15689-15689

antecedent

(=>
    (and
        (possesses ?BUS ?PARK)
        (instance ?BUS CommercialAgent)
        (instance ?PARK ParkingLot)
        (instance ?BLDG Building)
        (located ?BUS ?BLDG)
        (customer ?BUS ?CUST)
        (holdsDuring ?T
            (located ?CUST ?BLDG))
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (agent ?DRIVE ?CUST)
        (destination ?DRIVE ?BLDG))
    (holdsDuring ?T
        (confersRight
            (and
                (instance ?PUT Keeping)
                (destination ?PUT ?PARK)
                (patient ?PUT ?VEHICLE)) ?BUS ?CUST)))

TransportDetail.kif 102-121

consequent

(=> (and (instance ?A Agency) (customer ?C ?A)) (instance ?C CommercialAgent))	Mid-level-ontology.kif 6776-6780	If a cognitive agent is an instance of agency and the cognitive agent is a customer of another cognitive agent, then the other cognitive agent is an instance of commercial agent
(=> (and (instance ?STORE WholesaleStore) (customer ?CUSTOMER ?STORE)) (instance ?CUSTOMER CommercialAgent))	Mid-level-ontology.kif 7464-7468	If a cognitive agent is an instance of wholesale store and the cognitive agent is a customer of another cognitive agent, then the other cognitive agent is an instance of commercial agent
(=> (instance ?BUSINESS CommercialService) (exists (?AGENT) (and (instance ?AGENT CommercialAgent) (agent ?BUSINESS ?AGENT))))	Merge.kif 11055-11060	If a process is an instance of commercial service, then there exists an agent such that the agent is an instance of commercial agent and the agent is an agent of the process