Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| standardRetailHours |
| appearance as argument number 1 |
|
| (subrelation standardRetailHours businessHours) | Dining.kif 364-364 | standard retail hours is a subrelation of business hours |
| (instance standardRetailHours BinaryPredicate) | Dining.kif 365-365 | standard retail hours is an instance of binary predicate |
| (documentation standardRetailHours EnglishLanguage "(%&standardRetailHours ?TIMEINT ?AGENT) means that an ?AGENT engages in Selling processes with customers only within the time specified by ?TIMEINT") | Dining.kif 366-368 | standard retail hours is an instance of binary predicate |
| (domainSubclass standardRetailHours 1 TimeInterval) | Dining.kif 369-369 | The number 1 argument of standard retail hours is a subclass of timeframe |
| (domain standardRetailHours 2 AutonomousAgent) | Dining.kif 370-370 | The number 2 argument of standard retail hours is an instance of agent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage standardRetailHours "standard retail hours") | Dining.kif 371-371 | |
| (format EnglishLanguage standardRetailHours "the standard retail hours for %2 are %1") | domainEnglishFormat.kif 4616-4616 | |
| (format ChineseTraditionalLanguage standardRetailHours "standard retail hours 對於 %2 是 %1 ") | domainEnglishFormat.kif 4617-4617 | |
| (format ChineseLanguage standardRetailHours "standard retail hours 对于 %2 是 %1 ") | domainEnglishFormat.kif 4618-4618 |
| antecedent |
|
|
| (=> (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 |
|