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 7425-7428
s__domain(s__customer__m,1,s__CognitiveAgent)

Mid-level-ontology.kif 7423-7423
s__domain(s__customer__m,2,s__CognitiveAgent)

Mid-level-ontology.kif 7424-7424
s__instance(s__AsymmetricRelation,s__SetOrClass)

Mid-level-ontology.kif 7421-7421
s__instance(s__BinaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 7420-7420
s__instance(s__IrreflexiveRelation,s__SetOrClass)

Mid-level-ontology.kif 7419-7419
s__instance(s__PartialValuedRelation,s__SetOrClass)

Mid-level-ontology.kif 7422-7422

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


s__format(s__EnglishLanguage,s__customer__m,'%2 is %n a customer of %1')

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

Hotel.kif 55-55
s__termFormat(s__EnglishLanguage,s__customer__m,'customer')

domainEnglishFormat.kif 3449-3449

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


( ! [V__AGENT1,V__AGENT2] :
   (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))))
)

Mid-level-ontology.kif 7430-7436
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18201-18222
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-153
( ! [V__CUST,V__AGENT,V__X,V__LUGGAGE] :
   ((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 2333-2348
No TPTP formula. May not be expressible in strict first order. Hotel.kif 477-493
No TPTP formula. May not be expressible in strict first order. Hotel.kif 495-510
No TPTP formula. May not be expressible in strict first order. Dining.kif 339-350
( ! [V__FR,V__PHYS,V__RM,V__AGENT,V__R,V__CUST,V__X] :
   ((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(0,s__UnitedStatesDollar),V__AGENT))
)

Hotel.kif 810-831
( ! [V__AGENT,V__PHYS,V__X,V__CUST] :
   ((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(0,s__UnitedStatesDollar),V__AGENT))
)

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

Mid-level-ontology.kif 6775-6779
No TPTP formula. May not be expressible in strict first order. Dining.kif 729-752
( ! [V__C,V__AGENT,V__CUST,V__LOC1,V__LOC2] :
   ((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 544-560
No TPTP formula. May not be expressible in strict first order. Dining.kif 1178-1197
( ! [V__STORE,V__CUSTOMER] :
   ((s__instance(V__STORE,s__WholesaleStore) &
       s__customer(V__CUSTOMER,V__STORE))
   =>
   s__instance(V__CUSTOMER,s__CommercialAgent))
)

Mid-level-ontology.kif 7462-7466
( ! [V__FR,V__PHYS,V__RM,V__AGENT,V__R,V__CUST,V__X,V__PRICE] :
   ((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(0,s__UnitedStatesDollar))))
)

Hotel.kif 840-863
( ! [V__AGENT,V__PHYS,V__X,V__CUST,V__PRICE] :
   ((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(0,s__UnitedStatesDollar))))
)

Hotel.kif 541-558
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 102-119

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


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

FinancialOntology.kif 3513-3517
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2476-2494
No TPTP formula. May not be expressible in strict first order. Dining.kif 1178-1197
No TPTP formula. May not be expressible in strict first order. naics.kif 9636-9645
No TPTP formula. May not be expressible in strict first order. Dining.kif 466-477
( ! [V__CHECK] :
   (s__instance(V__CHECK,s__CheckInService) =>
     (? [V__AGENT,V__CUST,V__GREET,V__SERVICE] :
       (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 2095-2107
( ! [V__SVC] :
   (s__instance(V__SVC,s__RoomService) =>
     (? [V__AGENT,V__FOOD,V__CUSTOMER,V__RQST,V__ORDER,V__DELIVERY,V__LOC] :
       (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 1913-1931
( ! [V__SVC] :
   (s__instance(V__SVC,s__TransportationService) =>
     (? [V__VEHICLE,V__AGENT,V__TRANS,V__CUST] :
       (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 3257-3269
( ! [V__SVC] :
   (s__instance(V__SVC,s__ValetLaundryService) =>
     (? [V__CUST,V__AGENT,V__LOC,V__CLOTHES,V__LAUNDRY,V__PICKUP,V__DELIVERY] :
       (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 1771-1792
No TPTP formula. May not be expressible in strict first order. Dining.kif 776-779


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