| 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 15920-15922 | |
| (externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Macau_Venetian_Macao_McDonalds_Shop_a.jpg") | pictureList.kif 10696-10696 | |
| (externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ A380_in_Dubai_on_11_November_2007_Pict_2.jpg") | pictureList.kif 9959-9959 | |
| (externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ e/ e0/ BMW_Logo_f%C3%BCr_Werbung_auf_Gestell_montiert.JPG") | pictureList.kif 10699-10699 | |
| (externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Microsoft_Sign_on_German_campus.jpg") | pictureList.kif 10698-10698 | |
| (subclass CommercialAgent Agent) | Merge.kif 15919-15919 | 商业代理人 是 施事体 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint NonprofitOrganization CommercialAgent) | Mid-level-ontology.kif 7323-7323 | 非盈利机构 和 % 2 是 disjoint |
| (subclass Business CommercialAgent) | Merge.kif 15925-15925 | Business 是 商业代理人 的 subclass |
| (termFormat ChineseLanguage CommercialAgent "商业代理人") | domainEnglishFormat.kif 15759-15759 | |
| (termFormat ChineseTraditionalLanguage CommercialAgent "商業代理人") | domainEnglishFormat.kif 15758-15758 | |
| (termFormat EnglishLanguage CommercialAgent "commercial agent") | domainEnglishFormat.kif 15757-15757 |
| 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 6805-6809 | |
| (=> (and (instance ?STORE WholesaleStore) (customer ?CUSTOMER ?STORE)) (instance ?CUSTOMER CommercialAgent)) |
Mid-level-ontology.kif 7473-7477 | |
| (=> (instance ?BUSINESS CommercialService) (exists (?AGENT) (and (instance ?AGENT CommercialAgent) (agent ?BUSINESS ?AGENT)))) |
Merge.kif 11723-11728 |
|
|
|