standardRetailHours - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - standardRetailHours

standardRetailHours

appearance as argument number 1

(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
(domain standardRetailHours 2 AutonomousAgent)	Dining.kif 370-370	The number 2 argument of standard retail hours is an instance of agent
(domainSubclass standardRetailHours 1 TimeInterval)	Dining.kif 369-369	The number 1 argument of standard retail hours is a subclass of time interval
(instance standardRetailHours BinaryPredicate)	Dining.kif 365-365	standard retail hours is an instance of binary predicate
(subrelation standardRetailHours businessHours)	Dining.kif 364-364	standard retail hours is a subrelation of business hours

appearance as argument number 2

(format ChineseLanguage standardRetailHours "standard retail hours 对于 %2 是 %1 ")	domainEnglishFormat.kif 4614-4614
(format ChineseTraditionalLanguage standardRetailHours "standard retail hours 對於 %2 是 %1 ")	domainEnglishFormat.kif 4613-4613
(format EnglishLanguage standardRetailHours "the standard retail hours for %2 are %1")	domainEnglishFormat.kif 4612-4612
(termFormat EnglishLanguage standardRetailHours "standard retail hours")	Dining.kif 371-371

antecedent

(=> (and (instance ?X NightClub) (standardRetailHours ?TIME ?X)) (exists (?T) (and (instance ?T ?TIME) (during ?T NightTime))))	Dining.kif 419-426	If an agent is an instance of night club and the standard retail hours for the agent are a kind of time interval, then there exists another time interval such that the other time interval is an instance of a kind of time interval and the other time interval takes place during night time
(=> (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 an agent are a kind of time interval, then there exist a process, an entity,, , another entity,, , a real number and another real number such that the process is an instance of financial transaction and the agent is an agent of the process and the entity is an instance of a kind of time interval and the process ends up at the other entity and the real number is equal to the probability of the time of existence of the process takes place during the entity and the agent is a customer of the other entity and the other real number is equal to the probability of the time of existence of the process doesn't take place during the entity and the agent is a customer of the other entity and the real number is greater than the other real number
(=> (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 an agent are a kind of time interval, then there exist a process, another time interval and a cognitive agent such that the process is an instance of selling and the other time interval is an instance of a kind of time interval and the agent is an agent of the process and the agent is a customer of the cognitive agent and the time of existence of the process takes place during the other time interval

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 3.0 is open source software produced by Articulate Software and its partners