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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CommercialAgent
CommercialAgent

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 15050-15052
(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 15049-15049

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


(disjoint NonprofitOrganization CommercialAgent) Mid-level-ontology.kif 7297-7297
(subclass Business CommercialAgent) Merge.kif 15055-15055
(termFormat ChineseLanguage CommercialAgent "商业代理人") domainEnglishFormat.kif 15766-15766
(termFormat ChineseTraditionalLanguage CommercialAgent "商業代理人") domainEnglishFormat.kif 15765-15765
(termFormat EnglishLanguage CommercialAgent "commercial agent") domainEnglishFormat.kif 15764-15764

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 6755-6759
(=>
    (and
        (instance ?STORE WholesaleStore)
        (customer ?CUSTOMER ?STORE))
    (instance ?CUSTOMER CommercialAgent))
Mid-level-ontology.kif 7445-7449
(=>
    (instance ?BUSINESS CommercialService)
    (exists (?AGENT)
        (and
            (instance ?AGENT CommercialAgent)
            (agent ?BUSINESS ?AGENT))))
Merge.kif 11120-11125


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