TreeView Knowledge Base Browser - standardRetailHours

appearance as argument number 1

(documentation standardRetailHours EnglishLanguage "(%&standardRetailHours ?TIMEINT ?AGENT) means that an ?AGENT initiates face-to-face processes with customers only within the time specified by ?TIMEINT")	Dining.kif 362-364
(domain standardRetailHours 2 Agent)	Dining.kif 366-366	The number 2 argument of standard retail hours is an instance of agent
(domainSubclass standardRetailHours 1 TimeInterval)	Dining.kif 365-365	The number 1 argument of standard retail hours is a subclass of time interval
(instance standardRetailHours BinaryPredicate)	Dining.kif 361-361	standard retail hours is an instance of binary predicate
(subrelation standardRetailHours businessHours)	Dining.kif 360-360	standard retail hours is a subrelation of business hours

appearance as argument number 2

(format ChineseLanguage standardRetailHours "standard retail hours 对于 %2 是 %1 ")	domainEnglishFormat.kif 4623-4623
(format ChineseTraditionalLanguage standardRetailHours "standard retail hours 對於 %2 是 %1 ")	domainEnglishFormat.kif 4622-4622
(format EnglishLanguage standardRetailHours "the standard retail hours for %2 are %1")	domainEnglishFormat.kif 4621-4621
(termFormat EnglishLanguage standardRetailHours "standard retail hours")	Dining.kif 367-367

antecedent

(=>
    (and
        (standardRetailHours ?TIMEINT ?AGENT)
        (potentialCustomer ?C ?AGENT)
        (instance ?P IntentionalProcess)
        (destination ?P ?C)
        (instance ?START
            (StartFn ?P))
        (conditionalProbability
            (during
                (WhenFn ?START) ?TIMEINT)
            (agent ?P ?AGENT) ?NUMBER1)
        (conditionalProbability
            (not
                (during
                    (WhenFn ?START) ?TIMEINT))
            (agent ?P ?AGENT) ?NUMBER2))
    (lessThan ?NUMBER2 ?NUMBER1))

Dining.kif 371-382

If the standard retail hours for an agent are a kind of time interval and a cognitive agent is a potential customer for the agent and a process is an instance of intentional process and the process ends up at the cognitive agent and an entity is an instance of the start of the process and probability of the time of existence of the entity takes place during a kind of time interval provided that the agent is an agent of the process holds is a real number and probability of the time of existence of the entity doesn't take place during the kind of time interval provided that the agent is an agent of the process holds is another real number,
then the other real number is less than the real number

consequent

(=>
    (instance ?X NightClub)
    (exists (?TIME)
        (and
            (standardRetailHours ?X ?TIME)
            (during
                (BeginFn ?TIME) NightTime))))

Dining.kif 394-399

If a kind of time interval is an instance of night club,
then there exists an agent such that the standard retail hours for the agent are a kind of time interval and the beginning of the agent takes place during night time

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

KB Term:			Term intersection

English Word: