|
|
   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 16058-16060 | |
| (externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Macau_Venetian_Macao_McDonalds_Shop_a.jpg") | pictureList.kif 10689-10689 | |
| (externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ A380_in_Dubai_on_11_November_2007_Pict_2.jpg") | pictureList.kif 9952-9952 | |
| (externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ e/ e0/ BMW_Logo_f%C3%BCr_Werbung_auf_Gestell_montiert.JPG") | pictureList.kif 10692-10692 | |
| (externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Microsoft_Sign_on_German_campus.jpg") | pictureList.kif 10691-10691 | |
| (subclass CommercialAgent AutonomousAgent) | Merge.kif 16057-16057 |
| appearance as argument number 2 |
|
|
| (disjoint NonprofitOrganization CommercialAgent) | Mid-level-ontology.kif 7575-7575 | |
| (subclass Business CommercialAgent) | Merge.kif 16063-16063 | |
| (termFormat ChineseLanguage CommercialAgent "商业代理人") | domainEnglishFormat.kif 15765-15765 | |
| (termFormat ChineseTraditionalLanguage CommercialAgent "商業代理人") | domainEnglishFormat.kif 15764-15764 | |
| (termFormat EnglishLanguage CommercialAgent "commercial agent") | domainEnglishFormat.kif 15763-15763 |
| 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 7074-7078 | |
| (=> (and (instance ?STORE WholesaleStore) (customer ?CUSTOMER ?STORE)) (instance ?CUSTOMER CommercialAgent)) |
Mid-level-ontology.kif 7725-7729 | |
| (=> (instance ?BUSINESS CommercialService) (exists (?AGENT) (and (instance ?AGENT CommercialAgent) (agent ?BUSINESS ?AGENT)))) |
Merge.kif 11829-11834 |
|
|
|
