Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - customer
customer

appearance as argument number 1
-------------------------


s__documentation(s__customer__m,s__EnglishLanguage,'"A very general relation that exists whenever there is a FinancialTransaction between the two Agents such that the first is the destination of the FinancialTransaction and the second is the agent."')

Mid-level-ontology.kif 7199-7202
s__domain(s__customer__m,n__1,s__CognitiveAgent)

Mid-level-ontology.kif 7197-7197 The number 1 argument of customer is an instance of cognitive agent
s__domain(s__customer__m,n__2,s__CognitiveAgent)

Mid-level-ontology.kif 7198-7198 The number 2 argument of customer is an instance of cognitive agent
s__instance(s__customer__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Mid-level-ontology.kif 7195-7195 customer is an instance of asymmetric relation
s__instance(s__customer__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 7194-7194 customer is an instance of binary predicate
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__customer__m,s__IrreflexiveRelation)

Mid-level-ontology.kif 7193-7193 customer is an instance of irreflexive relation
s__instance(s__PartialValuedRelation,s__SetOrClass)

s__instance(s__customer__m,s__PartialValuedRelation)

Mid-level-ontology.kif 7196-7196 customer is an instance of partial valued relation

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__customer__m,'"%2 %n 是 %1 的 customer"')

domainEnglishFormat.kif 628-628
s__format(s__ChineseTraditionalLanguage,s__customer__m,'"%2 %n 是 %1 的 customer "')

domainEnglishFormat.kif 627-627
s__format(s__EnglishLanguage,s__customer__m,'"%2 is %n a customer of %1"')

domainEnglishFormat.kif 626-626
s__subrelation(s__guest__m,s__customer__m)

Hotel.kif 55-55 guest is a subrelation of customer
s__termFormat(s__ChineseLanguage,s__customer__m,'"顾客"')

domainEnglishFormat.kif 18159-18159
s__termFormat(s__ChineseTraditionalLanguage,s__customer__m,'"顧客"')

domainEnglishFormat.kif 18158-18158
s__termFormat(s__EnglishLanguage,s__customer__m,'"customer"')

domainEnglishFormat.kif 18157-18157

antecedent
-------------------------


( ! [V__AGENT2,V__AGENT1] :
   (((s__instance(V__AGENT2,s__CognitiveAgent) &
         s__instance(V__AGENT1,s__CognitiveAgent))
       =>
       (((s__customer(V__AGENT1,V__AGENT2)
           =>
           ( ? [V__SERVICE] :
             ((s__instance(V__SERVICE,s__FinancialTransaction) &
                 s__agent(V__SERVICE,V__AGENT2)
               &
               s__destination(V__SERVICE,V__AGENT1)))))
     &
     (( ? [V__SERVICE] :
         ((s__instance(V__SERVICE,s__FinancialTransaction) &
             s__agent(V__SERVICE,V__AGENT2)
           &
           s__destination(V__SERVICE,V__AGENT1))))
   =>
   s__customer(V__AGENT1,V__AGENT2)))))
)
)

Mid-level-ontology.kif 7204-7210 A cognitive agent is a customer of another cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18982-19003
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-171
( ! [V__AGENT,V__AMT,V__CUST,V__D,V__ITEM,V__X] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__AMT,s__CurrencyMeasure) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__subclass(V__ITEM,s__Object) &
         s__instance(V__ITEM,s__Class) &
         s__instance(V__X,s__Object))
       =>
       (((s__customer(V__CUST,V__AGENT)
           &
           s__corkageFee(V__AMT,V__ITEM,V__AGENT)
         &
         s__instance(V__X,V__ITEM)
       &
       ~(( ? [V__B] :
           ((s__instance(V__B,s__Buying) &
               s__patient(V__B,V__X)
             &
             s__destination(V__B,V__CUST)
           &
           s__origin(V__B,V__AGENT)))))
&
s__instance(V__D,s__Drinking) &
s__agent(V__D,V__CUST)
&
s__resource(V__D,V__X))
=>
(( ? [V__C] :
((s__instance(V__C,s__Corkage) &
   s__agent(V__C,V__CUST)
&
s__refers(V__C,V__X)
&
s__destination(V__C,V__AGENT))))))))
)
)

Dining.kif 130-150
( ! [V__AGENT,V__CUST,V__X,V__LUGGAGE] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__X,s__CognitiveAgent))
       =>
       (((s__customer(V__CUST,V__AGENT)
           &
           s__employs(V__AGENT,V__X)
         &
         s__attribute(V__AGENT,s__TravelerAccommodation) &
         s__attribute(V__X,s__Porter) &
         s__possesses(V__CUST,V__LUGGAGE)
       &
       s__instance(V__LUGGAGE,s__TravelContainer))
     =>
     (( ? [V__ROOM, V__CARRY] :
         ((s__instance(V__ROOM,s__HotelUnit) &
             s__instance(V__CARRY,s__Carrying) &
             s__agent(V__CARRY,V__X)
           &
           (s__destination(V__CARRY,V__ROOM)
           |
           s__origin(V__CARRY,V__ROOM)))))))))
)
)

Hotel.kif 2352-2367
No TPTP formula. May not be expressible in strict first order. Hotel.kif 484-500
No TPTP formula. May not be expressible in strict first order. Hotel.kif 502-518
No TPTP formula. May not be expressible in strict first order. Dining.kif 332-346
( ! [V__AGENT,V__R,V__CUST,V__X,V__RM,V__FR,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__subclass(V__FR,s__HotelFunctionRoom) &
         s__instance(V__FR,s__Class) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__freeFunctionRoomAmenity(V__FR,V__PHYS)
           &
           s__instance(V__RM,V__FR)
         &
         s__element(V__RM,s__PropertyFn(V__AGENT))
     &
     s__instance(V__R,s__Renting) &
     s__patient(V__R,V__RM)
   &
   s__destination(V__R,V__CUST)
&
s__instance(V__X,V__PHYS)
&
s__possesses(V__AGENT,V__X)
&
s__customer(V__CUST,V__AGENT)
&
((s__instance(V__X,s__Process) &
(s__agent(V__X,V__CUST)
|
s__experiencer(V__X,V__CUST)))
|
(s__possesses(V__AGENT,V__X)
&
s__instance(V__X,s__Object) &
s__uses(V__CUST,V__X))))
=>
(s__price(V__X,s__MeasureFn(n__0,s__UnitedStatesDollar),V__AGENT)))))
)
)

Hotel.kif 820-841
( ! [V__AGENT,V__CUST,V__X,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__freePropertyAmenity(V__AGENT,V__PHYS)
           &
           s__instance(V__X,V__PHYS)
         &
         s__customer(V__CUST,V__AGENT)
       &
       ((s__instance(V__X,s__Process) &
           (s__agent(V__X,V__CUST)
           |
           s__experiencer(V__X,V__CUST)))
     |
     (s__possesses(V__AGENT,V__X)
     &
     s__instance(V__X,s__Object) &
     s__uses(V__CUST,V__X))))
=>
(s__price(V__X,s__MeasureFn(n__0,s__UnitedStatesDollar),V__AGENT)))))
)
)

Hotel.kif 526-541
( ! [V__A,V__C] :
   ((s__instance(V__C,s__CognitiveAgent) =>
       (((s__instance(V__A,s__Agency) &
             s__customer(V__C,V__A))
         =>
         (s__instance(V__C,s__CommercialAgent)))))
   )
)

Mid-level-ontology.kif 6593-6597
No TPTP formula. May not be expressible in strict first order. Dining.kif 725-748
( ! [V__AGENT,V__C,V__CUST,V__LOC2,V__LOC1] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__LOC1,s__Object))
       =>
       (((s__instance(V__C,s__CateringService) &
             s__agent(V__C,V__AGENT)
           &
           s__destination(V__C,V__CUST)
         &
         s__located(V__AGENT,V__LOC1)
       &
       s__customer(V__CUST,V__AGENT)
     &
     ( ? [V__S, V__FOOD, V__E] :
       ((s__instance(V__S,s__Cooking) &
           s__agent(V__S,V__AGENT)
         &
         s__result(V__S,V__FOOD)
       &
       s__patient(V__C,V__FOOD)
     &
     s__instance(V__E,s__Eating) &
     s__agent(V__E,V__CUST)
   &
   s__eventLocated(V__E,V__LOC2)))))
=>
(~((V__LOC1 = V__LOC2))))))
)
)

Dining.kif 540-556
No TPTP formula. May not be expressible in strict first order. Dining.kif 1180-1199
( ! [V__CUSTOMER,V__STORE] :
   ((s__instance(V__CUSTOMER,s__CognitiveAgent) =>
       (((s__instance(V__STORE,s__WholesaleStore) &
             s__customer(V__CUSTOMER,V__STORE))
         =>
         (s__instance(V__CUSTOMER,s__CommercialAgent)))))
   )
)

Mid-level-ontology.kif 7235-7239
( ! [V__AGENT,V__R,V__CUST,V__PRICE,V__U,V__X,V__RM,V__FR,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__PRICE,s__RealNumber) &
         s__instance(V__U,s__UnitOfMeasure) &
         s__subclass(V__FR,s__HotelFunctionRoom) &
         s__instance(V__FR,s__Class) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__paidFunctionRoomAmenity(V__FR,V__PHYS)
           &
           s__instance(V__RM,V__FR)
         &
         s__element(V__RM,s__PropertyFn(V__AGENT))
     &
     s__instance(V__R,s__Renting) &
     s__patient(V__R,V__RM)
   &
   s__destination(V__R,V__CUST)
&
s__instance(V__X,V__PHYS)
&
s__possesses(V__AGENT,V__X)
&
s__customer(V__CUST,V__AGENT)
&
((s__instance(V__X,s__Process) &
(s__agent(V__X,V__CUST)
|
s__experiencer(V__X,V__CUST)))
|
(s__possesses(V__AGENT,V__X)
&
s__instance(V__X,s__Object) &
s__uses(V__CUST,V__X))))
=>
((s__price(V__X,s__MeasureFn(V__PRICE,V__U)
,V__AGENT)
&
s__instance(V__U,s__UnitOfCurrency) &
s__greaterThan(V__PRICE,n__0))))))
)
)

Hotel.kif 850-875
( ! [V__AGENT,V__CUST,V__PRICE,V__U,V__X,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__PRICE,s__RealNumber) &
         s__instance(V__U,s__UnitOfMeasure) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__paidPropertyAmenity(V__AGENT,V__PHYS)
           &
           s__instance(V__X,V__PHYS)
         &
         s__customer(V__CUST,V__AGENT)
       &
       ((s__instance(V__X,s__Process) &
           (s__agent(V__X,V__CUST)
           |
           s__experiencer(V__X,V__CUST)))
     |
     (s__possesses(V__AGENT,V__X)
     &
     s__instance(V__X,s__Object) &
     s__uses(V__CUST,V__X))))
=>
((s__price(V__X,s__MeasureFn(V__PRICE,V__U)
,V__AGENT)
&
s__instance(V__U,s__UnitOfCurrency) &
s__greaterThan(V__PRICE,n__0))))))
)
)

Hotel.kif 549-568
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 102-121

consequent
-------------------------


( ! [V__Agent,V__Account,V__Bank] :
   (((s__instance(V__Agent,s__CognitiveAgent) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Bank,s__FinancialOrganization) &
         s__instance(V__Bank,s__CognitiveAgent))
       =>
       (((s__accountHolder(V__Account,V__Agent)
           &
           s__accountAt(V__Account,V__Bank))
       =>
       (s__customer(V__Agent,V__Bank)))))
)
)

FinancialOntology.kif 3562-3566
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2495-2513
No TPTP formula. May not be expressible in strict first order. Dining.kif 1180-1199
No TPTP formula. May not be expressible in strict first order. naics.kif 9718-9727
No TPTP formula. May not be expressible in strict first order. Dining.kif 462-473
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2478-2487
( ! [V__CHECK] :
   ((s__instance(V__CHECK,s__CheckInService) =>
       (( ? [V__AGENT, V__CUST, V__GREET, V__SERVICE] :
           ((s__instance(V__AGENT,s__CognitiveAgent) &
               s__instance(V__CUST,s__CognitiveAgent) &
               (s__customer(V__CUST,V__AGENT)
               &
               s__serviceProvider(V__CHECK,V__AGENT)
             &
             s__instance(V__GREET,s__Greeting) &
             s__agent(V__GREET,V__CUST)
           &
           s__destination(V__GREET,V__AGENT)
         &
         s__subProcess(V__GREET,V__CHECK)
       &
       s__instance(V__SERVICE,s__Process) &
       s__agent(V__SERVICE,V__AGENT)
     &
     s__causes(V__CHECK,V__SERVICE)))))))
)
)

Hotel.kif 2114-2126
( ! [V__SVC] :
   ((s__instance(V__SVC,s__RoomService) =>
       (( ? [V__AGENT, V__FOOD, V__CUSTOMER, V__RQST, V__ORDER, V__DELIVERY, V__LOC] :
           ((s__instance(V__AGENT,s__CognitiveAgent) &
               s__instance(V__CUSTOMER,s__CognitiveAgent) &
               (s__customer(V__CUSTOMER,V__AGENT)
               &
               s__agent(V__SVC,V__AGENT)
             &
             s__instance(V__RQST,s__Requesting) &
             s__agent(V__RQST,V__CUSTOMER)
           &
           s__patient(V__RQST,V__ORDER)
         &
         s__represents(V__ORDER,V__FOOD)
       &
       s__instance(V__FOOD,s__PreparedFood) &
       s__located(V__CUSTOMER,V__LOC)
     &
     s__instance(V__LOC,s__HotelUnit) &
     s__instance(V__DELIVERY,s__DeliveryService) &
     s__patient(V__DELIVERY,V__FOOD)
   &
   s__destination(V__DELIVERY,V__LOC)
&
s__before(s__BeginFn(s__WhenFn(V__RQST))
,s__BeginFn(s__WhenFn(V__DELIVERY)))))))))
)
)

Hotel.kif 1931-1949
( ! [V__SVC] :
   ((s__instance(V__SVC,s__TransportationService) =>
       (( ? [V__VEHICLE, V__AGENT, V__TRANS, V__CUST] :
           ((s__instance(V__AGENT,s__CognitiveAgent) &
               s__instance(V__CUST,s__CognitiveAgent) &
               (s__agent(V__SVC,V__AGENT)
               &
               s__possesses(V__AGENT,V__VEHICLE)
             &
             s__customer(V__CUST,V__AGENT)
           &
           s__instance(V__VEHICLE,s__Vehicle) &
           s__instance(V__TRANS,s__Transportation) &
           s__agent(V__TRANS,V__AGENT)
         &
         s__patient(V__TRANS,V__CUST)
       &
       s__instrument(V__TRANS,V__VEHICLE)
     &
     s__subProcess(V__TRANS,V__SVC)))))))
)
)

Transportation.kif 3347-3359
( ! [V__SVC] :
   ((s__instance(V__SVC,s__ValetLaundryService) =>
       (( ? [V__CUST, V__AGENT, V__LOC, V__CLOTHES, V__LAUNDRY, V__PICKUP, V__DELIVERY] :
           ((s__instance(V__CUST,s__Human) &
               s__instance(V__AGENT,s__CognitiveAgent) &
               s__instance(V__LOC,s__TemporaryResidence) &
               (s__customer(V__CUST,V__AGENT)
               &
               s__stays(V__CUST,V__LOC)
             &
             s__agent(V__SVC,V__AGENT)
           &
           s__instance(V__CLOTHES,s__Clothing) &
           s__instance(V__PICKUP,s__Getting) &
           s__located(V__PICKUP,V__LOC)
         &
         s__patient(V__PICKUP,V__CLOTHES)
       &
       s__agent(V__PICKUP,V__AGENT)
     &
     (s__instance(V__LAUNDRY,s__LaundryService) |
       s__instance(V__LAUNDRY,s__DryCleaningService))
     &
     s__agent(V__LAUNDRY,V__AGENT)
   &
   s__patient(V__LAUNDRY,V__CLOTHES)
&
s__instance(V__DELIVERY,s__DeliveryService) &
s__patient(V__DELIVERY,V__CLOTHES)
&
s__destination(V__DELIVERY,V__LOC)
&
s__before(s__BeginFn(s__WhenFn(V__PICKUP))
,s__BeginFn(s__WhenFn(V__LAUNDRY)))
&
s__before(s__BeginFn(s__WhenFn(V__LAUNDRY))
,s__BeginFn(s__WhenFn(V__DELIVERY)))))))))
)
)

Hotel.kif 1789-1810
No TPTP formula. May not be expressible in strict first order. Dining.kif 772-775
( ! [V__AG,V__ORG,V__ART] :
   (((s__instance(V__AG,s__CognitiveAgent) &
         s__instance(V__ORG,s__Organization) &
         s__instance(V__ORG,s__CognitiveAgent) &
         s__instance(V__ART,s__Artifact))
       =>
       ((s__thirdPartyProduct(V__ART,V__ORG,V__AG)
         =>
         (s__customer(V__ORG,V__AG)))))
)
)

ComputingBrands.kif 3916-3918


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners