(=>
(standardRetailHours ?TIMEINT ?AGENT)
(exists (?S ?T ?C)
(and
(instance ?S Selling)
(instance ?T ?TIMEINT)
(agent ?S ?AGENT)
(customer ?C ?AGENT)
(during
(WhenFn ?S) ?T)))) |
Dining.kif 373-382 |
If the standard retail hours for X are Y, then there exist Z, W, V such that Z is an instance of selling, W is an instance of Y, X is an agent of Z, X is a customer of V, and the time of existence of Z takes place during W |
(=>
(standardRetailHours ?TIMEINT ?AGENT)
(exists (?FT ?T ?C ?SRH ?NONSRH)
(and
(instance ?FT FinancialTransaction)
(agent ?FT ?AGENT)
(instance ?T ?TIMEINT)
(destination ?FT ?C)
(equal ?SRH
(ProbabilityFn
(and
(during
(WhenFn ?FT) ?T)
(customer ?C ?AGENT))))
(equal ?NONSRH
(ProbabilityFn
(and
(not
(during
(WhenFn ?FT) ?T))
(customer ?C ?AGENT))))
(greaterThan ?SRH ?NONSRH)))) |
Dining.kif 388-407 |
If the standard retail hours for X are Y, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is an instance of financial transaction (3) X is an agent of Z (4) W is an instance of Y (5) Z ends up at V (6) equal U (7) the probability of the time of existence of Z takes place during W (8) X is a customer of V (9) equal T (10) the probability of the time of existence of Z doesn't take place during W (11) X is a customer of V (12) U is greater than T |
(=>
(and
(instance ?X NightClub)
(standardRetailHours ?TIME ?X))
(exists (?T)
(and
(instance ?T ?TIME)
(during ?T NightTime)))) |
Dining.kif 419-426 |
If X is an instance of night club and the standard retail hours for X are Y, then there exists Z such that Z is an instance of Y and Z takes place during night time |
