CommercialAgent - Sigma Knowledge base Browser

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 16245-16247
(externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Macau_Venetian_Macao_McDonalds_Shop_a.jpg")	pictureList.kif 10686-10686
(externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ A380_in_Dubai_on_11_November_2007_Pict_2.jpg")	pictureList.kif 9951-9951
(externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ e/ e0/ BMW_Logo_f%C3%BCr_Werbung_auf_Gestell_montiert.JPG")	pictureList.kif 10689-10689
(externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Microsoft_Sign_on_German_campus.jpg")	pictureList.kif 10688-10688
(subclass CommercialAgent AutonomousAgent)	Merge.kif 16244-16244	CommercialAgent ist eine teilkategorie von AutonomousAgent

appearance as argument number 2

(disjoint NonprofitOrganization CommercialAgent)	Mid-level-ontology.kif 7635-7635	NonprofitOrganization ist dijunkt von CommercialAgent %n{nicht}
(subclass Business CommercialAgent)	Merge.kif 16250-16250	Business ist eine teilkategorie von CommercialAgent
(termFormat ChineseLanguage CommercialAgent "商业代理人")	domainEnglishFormat.kif 15768-15768
(termFormat ChineseTraditionalLanguage CommercialAgent "商業代理人")	domainEnglishFormat.kif 15767-15767
(termFormat EnglishLanguage CommercialAgent "commercial agent")	domainEnglishFormat.kif 15766-15766

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

Wenn CognitiveAgent besitzt Object %n{nicht} und ** CognitiveAgent ist ein fall von CommercialAgent %n{nicht} und ** Object ist ein fall von ParkingLot %n{nicht} und ** Object ist ein fall von Building %n{nicht} und ** CognitiveAgent befindet sich an %n{nicht} und customer ** CognitiveAgent and AutonomousAgent und ** AutonomousAgent befindet sich an %n{nicht} haelt waehrend TimePosition %n{nicht} und Process ist ein fall von Driving %n{nicht} und Entity ist ein patient von ** Process %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Process endet an ** ** Object %n{nicht},
dann ** CognitiveAgent erlaubt ** AutonomousAgent, die Aufgabe der Art von ** entity ist ein fall von Keeping %n{nicht} und ** ** entity endet an ** Object %n{nicht} und ** Entity ist ein patient von ** ** entity %n{nicht} durchzuf�hren %n{nicht} haelt waehrend ** TimePosition %n{nicht}

consequent

(=> (and (instance ?A Agency) (customer ?C ?A)) (instance ?C CommercialAgent))	Mid-level-ontology.kif 7134-7138	Wenn AutonomousAgent ist ein fall von Agency %n{nicht} und customer CognitiveAgent and AutonomousAgent, dann CognitiveAgent ist ein fall von CommercialAgent %n{nicht}
(=> (and (instance ?STORE WholesaleStore) (customer ?CUSTOMER ?STORE)) (instance ?CUSTOMER CommercialAgent))	Mid-level-ontology.kif 7785-7789	Wenn AutonomousAgent ist ein fall von WholesaleStore %n{nicht} und customer CognitiveAgent and AutonomousAgent, dann CognitiveAgent ist ein fall von CommercialAgent %n{nicht}
(=> (instance ?BUSINESS CommercialService) (exists (?AGENT) (and (instance ?AGENT CommercialAgent) (agent ?BUSINESS ?AGENT))))	Merge.kif 11923-11928	Wenn Process ist ein fall von CommercialService %n{nicht}, dann es gibt AutonomousAgent um AutonomousAgent ist ein fall von CommercialAgent %n{nicht} und Process ist der agent von ** AutonomousAgent %n{nicht}