CommercialAgent - Sigma Knowledge base Browser

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 ?BUS ?CUST
            (and
                (instance ?PUT Keeping)
                (destination ?PUT ?PARK)
                (patient ?PUT ?VEHICLE)))))

If All of the following hold: (1) X possesses Y (2) X is an instance of commercial agent (3) Y is an instance of parking lot (4) Z is an instance of building (5) X is located at Z (6) W is a customer of X (7) W is located at Z holds during V (8) U is an instance of driving (9) T is a patient of U (10) W is an agent of U (11) U ends up at Z, then W allows S is an instance of keeping, S ends up at Y, and T is a patient of S to perform task of the type X holds during V

consequent

(=> (instance ?BUSINESS CommercialService) (exists (?AGENT) (and (instance ?AGENT CommercialAgent) (agent ?BUSINESS ?AGENT))))	Merge.kif 12153-12158	If X is an instance of commercial service, then there exists Y such that Y is an instance of commercial agent and Y is an agent of X
(=> (and (instance ?A Agency) (customer ?C ?A)) (instance ?C CommercialAgent))	Mid-level-ontology.kif 8423-8427	If X is an instance of agency and X is a customer of Y, then Y is an instance of commercial agent
(=> (and (instance ?STORE WholesaleStore) (customer ?CUSTOMER ?STORE)) (instance ?CUSTOMER CommercialAgent))	Mid-level-ontology.kif 9079-9083	If X is an instance of wholesale store and X is a customer of Y, then Y is an instance of commercial agent

(subclass CommercialAgent AutonomousAgent)	Merge.kif 16529-16529	Commercial agent is a subclass of agent
(documentation CommercialAgent EnglishLanguage "An AutonomousAgent that provides products and/ or services for a fee with the aim of making a profit.")	Merge.kif 16530-16532	Commercial agent is a subclass of agent
(externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ A380_in_Dubai_on_11_November_2007_Pict_2.jpg")	pictureList.kif 9950-9950	Commercial agent is a subclass of agent
(externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Macau_Venetian_Macao_McDonalds_Shop_a.jpg")	pictureList.kif 10684-10684	Commercial agent is a subclass of agent
(externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Microsoft_Sign_on_German_campus.jpg")	pictureList.kif 10686-10686	Commercial agent is a subclass of agent
(externalImage CommercialAgent "http://upload.wikimedia.org/wikipedia/commons/ e/ e0/ BMW_Logo_f%C3%BCr_Werbung_auf_Gestell_montiert.JPG")	pictureList.kif 10687-10687	Commercial agent is a subclass of agent

(subclass Business CommercialAgent)	Merge.kif 16535-16535	Business is a subclass of commercial agent
(disjoint NonprofitOrganization CommercialAgent)	Mid-level-ontology.kif 8929-8929	Nonprofit organization is disjoint from commercial agent
(termFormat EnglishLanguage CommercialAgent "commercial agent")	domainEnglishFormat.kif 15768-15768	Nonprofit organization is disjoint from commercial agent
(termFormat ChineseTraditionalLanguage CommercialAgent "商業代理人")	domainEnglishFormat.kif 15769-15769	Nonprofit organization is disjoint from commercial agent
(termFormat ChineseLanguage CommercialAgent "商业代理人")	domainEnglishFormat.kif 15770-15770	Nonprofit organization is disjoint from commercial agent