CommercialAgent - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(disjoint NonprofitOrganization CommercialAgent)	Mid-level-ontology.kif 8381-8381	Nonprofit organization is disjoint from commercial agent
(subclass Business CommercialAgent)	Merge.kif 16275-16275	Business is a subclass of commercial agent
(termFormat ChineseLanguage CommercialAgent "商业代理人")	domainEnglishFormat.kif 15783-15783	Business is a subclass of commercial agent
(termFormat ChineseTraditionalLanguage CommercialAgent "商業代理人")	domainEnglishFormat.kif 15782-15782	Business is a subclass of commercial agent
(termFormat EnglishLanguage CommercialAgent "commercial agent")	domainEnglishFormat.kif 15781-15781	Business is a subclass of commercial agent

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 106-125

consequent

(=> (and (instance ?A Agency) (customer ?C ?A)) (instance ?C CommercialAgent))	Mid-level-ontology.kif 7880-7884	If an agent is an instance of agency and the agent is a customer of a cognitive agent, then the cognitive agent is an instance of commercial agent
(=> (and (instance ?STORE WholesaleStore) (customer ?CUSTOMER ?STORE)) (instance ?CUSTOMER CommercialAgent))	Mid-level-ontology.kif 8531-8535	If an agent is an instance of wholesale store and the agent is a customer of a cognitive agent, then the cognitive agent is an instance of commercial agent
(=> (instance ?BUSINESS CommercialService) (exists (?AGENT) (and (instance ?AGENT CommercialAgent) (agent ?BUSINESS ?AGENT))))	Merge.kif 11952-11957	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