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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CommercialAgent
CommercialAgent(commercial agent)
commercial_agent

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

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


(=>
    (and
        (instance ?A Agency)
        (customer ?C ?A))
    (instance ?C CommercialAgent))
Mid-level-ontology.kif 6775-6779
(=>
    (and
        (instance ?STORE WholesaleStore)
        (customer ?CUSTOMER ?STORE))
    (instance ?CUSTOMER CommercialAgent))
Mid-level-ontology.kif 7462-7466
(=>
    (instance ?BUSINESS CommercialService)
    (exists (?AGENT)
        (and
            (instance ?AGENT CommercialAgent)
            (agent ?BUSINESS ?AGENT))))
Merge.kif 11838-11843


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