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 7427-7430
s__domain(s__customer__m,n__1,s__CognitiveAgent)

Mid-level-ontology.kif 7425-7425 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 7426-7426 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 7423-7423 customer is an instance of asymmetric relation
s__instance(s__customer__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

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

s__instance(s__customer__m,s__IrreflexiveRelation)

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

s__instance(s__customer__m,s__PartialValuedRelation)

Mid-level-ontology.kif 7424-7424 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 18091-18091
s__termFormat(s__ChineseTraditionalLanguage,s__customer__m,'"顧客"')

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

domainEnglishFormat.kif 18089-18089

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 7432-7438 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 18261-18282
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__SetOrClass) &
       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 2338-2353
No TPTP formula. May not be expressible in strict first order. Hotel.kif 480-496
No TPTP formula. May not be expressible in strict first order. Hotel.kif 498-514
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__SetOrClass) &
       s__instance(V__PHYS,s__SetOrClass))
     =>
     (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 814-835
( ! [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__SetOrClass))
     =>
     (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 522-537
( ! [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 6776-6780
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 1174-1193
( ! [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 7464-7468
( ! [V__AGENT,V__R,V__CUST,V__PRICE,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__CurrencyMeasure) &
       s__subclass(V__FR,s__HotelFunctionRoom) &
       s__instance(V__FR,s__SetOrClass) &
       s__instance(V__PHYS,s__SetOrClass))
     =>
     (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,V__PRICE,V__AGENT)
&
s__greaterThan(V__PRICE,s__MeasureFn(n__0,s__UnitedStatesDollar)))
)
)

Hotel.kif 844-867
( ! [V__AGENT,V__CUST,V__PRICE,V__X,V__PHYS] :
   ((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__CUST,s__CognitiveAgent) &
       s__instance(V__PRICE,s__CurrencyMeasure) &
       s__instance(V__PHYS,s__SetOrClass))
     =>
     (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,V__PRICE,V__AGENT)
&
s__greaterThan(V__PRICE,s__MeasureFn(n__0,s__UnitedStatesDollar)))
)
)

Hotel.kif 545-562
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 3520-3524
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2481-2499
No TPTP formula. May not be expressible in strict first order. Dining.kif 1174-1193
No TPTP formula. May not be expressible in strict first order. naics.kif 9634-9643
No TPTP formula. May not be expressible in strict first order. Dining.kif 462-473
( ! [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 2100-2112
( ! [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 1917-1935
( ! [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 3318-3330
( ! [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 1775-1796
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 3870-3872


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners