CommercialAgent - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(disjoint NonprofitOrganization CommercialAgent)	Mid-level-ontology.kif 7314-7314	Nonprofit organization is disjoint from commercial agent
(subclass Business CommercialAgent)	Merge.kif 16375-16375	Business is a subclass of commercial agent
(termFormat EnglishLanguage CommercialAgent "commercial agent")	domainEnglishFormat.kif 3049-3049	"commercial agent" is the printable form of commercial agent in english language

antecedent

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

TransportDetail.kif 102-119

If a cognitive agent possesses an object and the cognitive agent is an instance of commercial agent and the object is an instance of parking lot and another object is an instance of building and the cognitive agent is located at the other object and another cognitive agent is a customer of the cognitive agent and a process is an instance of driving and an entity is a patient of the process and the other cognitive agent is an agent of the process and the process ends up at the other object,
then the cognitive agent allows the other cognitive agent to perform task of the type another entity is an instance of keeping and the other entity ends up at the object and the entity is a patient of the other entity holds during the other cognitive agent is located at the other object

consequent

(=> (and (instance ?A Agency) (customer ?C ?A)) (instance ?C CommercialAgent))	Mid-level-ontology.kif 6775-6779	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 7462-7466	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 11838-11843	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

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: