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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommercialAgent

Sigma KEE - CommercialAgent
CommercialAgent(商业代理人)

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 16251-16253
(externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Macau_Venetian_Macao_McDonalds_Shop_a.jpg") pictureList.kif 10685-10685
(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 10688-10688
(externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Microsoft_Sign_on_German_campus.jpg") pictureList.kif 10687-10687
(subclass CommercialAgent AutonomousAgent) Merge.kif 16250-16250 商业代理人施事体subclass

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


(disjoint NonprofitOrganization CommercialAgent) Mid-level-ontology.kif 7826-7826 非盈利机构 和 % 2 是 disjoint
(subclass Business CommercialAgent) Merge.kif 16256-16256 Business商业代理人subclass
(termFormat ChineseLanguage CommercialAgent "商业代理人") domainEnglishFormat.kif 15779-15779 Business商业代理人subclass
(termFormat ChineseTraditionalLanguage CommercialAgent "商業代理人") domainEnglishFormat.kif 15778-15778 Business商业代理人subclass
(termFormat EnglishLanguage CommercialAgent "commercial agent") domainEnglishFormat.kif 15777-15777 Business商业代理人subclass

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 7325-7329
(=>
    (and
        (instance ?STORE WholesaleStore)
        (customer ?CUSTOMER ?STORE))
    (instance ?CUSTOMER CommercialAgent))
Mid-level-ontology.kif 7976-7980
(=>
    (instance ?BUSINESS CommercialService)
    (exists (?AGENT)
        (and
            (instance ?AGENT CommercialAgent)
            (agent ?BUSINESS ?AGENT))))
Merge.kif 11933-11938


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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