TreeView 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 e' uma sub-classe de AutonomousAgent

appearance as argument number 2

(disjoint NonprofitOrganization CommercialAgent)	Mid-level-ontology.kif 7635-7635	NonprofitOrganization e' disjunto de CommercialAgent
(subclass Business CommercialAgent)	Merge.kif 16250-16250	Business e' uma sub-classe de 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

consequent

(=> (and (instance ?A Agency) (customer ?C ?A)) (instance ?C CommercialAgent))	Mid-level-ontology.kif 7134-7138	AutonomousAgent e' uma instancia de Agency customer Agente Cognitivo and AutonomousAgent Agente Cognitivo e' uma instancia de CommercialAgent
(=> (and (instance ?STORE WholesaleStore) (customer ?CUSTOMER ?STORE)) (instance ?CUSTOMER CommercialAgent))	Mid-level-ontology.kif 7785-7789	AutonomousAgent e' uma instancia de WholesaleStore customer Agente Cognitivo and AutonomousAgent Agente Cognitivo e' uma instancia de CommercialAgent
(=> (instance ?BUSINESS CommercialService) (exists (?AGENT) (and (instance ?AGENT CommercialAgent) (agent ?BUSINESS ?AGENT))))	Merge.kif 11923-11928	Processo e' uma instancia de CommercialService AutonomousAgent AutonomousAgent e' uma instancia de CommercialAgent Processo e' um agente de AutonomousAgent