StartFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - StartFn

StartFn

appearance as argument number 1

(documentation StartFn EnglishLanguage "(StartFn ?PROCESS) denotes IntentionalProcesses of bringing it about that Processes of type ?PROCESS begin, e.g. start working, begin running, etc.")	Mid-level-ontology.kif 576-578
(domain StartFn 1 Process)	Mid-level-ontology.kif 580-580	The number 1 argument of start is an instance of process
(instance StartFn UnaryFunction)	Mid-level-ontology.kif 579-579	Start is an instance of unary function
(rangeSubclass StartFn IntentionalProcess)	Mid-level-ontology.kif 581-581	The values returned by start are subclasses of intentional process

appearance as argument number 2

(format EnglishLanguage StartFn "the start of %1")	domainEnglishFormat.kif 592-592
(termFormat EnglishLanguage StartFn "start")	domainEnglishFormat.kif 9602-9602	"start" is the printable form of start in english language

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 375-386	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
(=> (instance ?S (StartFn ?P)) (exists (?I) (and (instance ?I ?P) (starts (WhenFn ?S) (WhenFn ?I)))))	Mid-level-ontology.kif 583-588	If a physical is an instance of the start of a process, then there exists another physical such that the other physical is an instance of the process and the time of existence of the physical starts the time of existence of the other physical

consequent

(=> (and (instance ?ACT ActivatingUIElement) (patient ?ACT ?GUIE) (instance ?GUIE GUIElement)) (and (holdsDuring (EndFn ?SELECT) (hasGUEState ?GUIE GUE_ActiveState)) (holdsDuring (StartFn ?SELECT) (not (hasGUEState ?GUIE GUE_ActiveState)))))	ComputerInput.kif 1813-1822	If a process is an instance of ActivatingUIElement and an entity is a patient of the process and the entity is an instance of GUIElement, then the entity has state GUE_ActiveState holds during the end of a time interval and not the entity has state GUE_ActiveState holds during the start of the time interval
(=> (and (instance ?V Vomiting) (experiencer ?V ?A)) (exists (?S ?O) (and (instance ?S Stomach) (part ?S ?A) (holdsDuring (StartFn (WhenFn ?V)) (located ?O ?S)) (holdsDuring (EndFn (WhenFn ?V)) (not (located ?O ?A))))))	Mid-level-ontology.kif 19059-19073	If a process is an instance of vomiting and an agent experiences the process, then there exist an object and an entity such that the object is an instance of stomach and the object is a part of the agent and the entity is located at the object holds during the start of the time of existence of the process and the entity is not located at the agent holds during the end of the time of existence of the process
(=> (and (instance ?V Vomiting) (instance ?O Vomit) (patient ?V ?O) (experiencer ?V ?A)) (exists (?S) (and (instance ?S Stomach) (part ?S ?A) (holdsDuring (StartFn (WhenFn ?V)) (located ?O ?S)) (holdsDuring (EndFn (WhenFn ?V)) (not (located ?O ?A))))))	Mid-level-ontology.kif 19079-19095	If a process is an instance of vomiting and an entity is an instance of vomit and the entity is a patient of the process and an agent experiences the process, then there exists an object such that the object is an instance of stomach and the object is a part of the agent and the entity is located at the object holds during the start of the time of existence of the process and the entity is not located at the agent holds during the end of the time of existence of the process
(=> (instance ?M MatchDevice) (capability (StartFn Combustion) instrument ?M))	Mid-level-ontology.kif 2399-2401	If an object is an instance of match device, then the object is capable of doing the start of combustion as a instrument
(=> (instance ?X CurrencyExchangeService) (exists (?AMT ?AMT1 ?CURR1 ?AMT2 ?CURR2 ?CUST) (and (agent ?X ?CUST) (not (equal ?CURR1 ?CURR2)) (instance ?AMT1 CurrencyMeasure) (instance ?AMT2 CurrencyMeasure) (holdsDuring (WhenFn (StartFn ?X)) (and (monetaryValue ?M1 ?AMT1) (possesses ?CUST ?M1) (equal ?AMT1 (MeasureFn ?NUM1 ?CURR1)))) (holdsDuring (WhenFn (EndFn ?X)) (and (monetaryValue ?M2 ?AMT2) (possesses ?CUST ?M2) (not (possesses ?CUST ?M1)) (equal ?AMT2 (MeasureFn ?NUM2 ?CURR2)))))))	Hotel.kif 2045-2065	If a time interval is an instance of currency exchange, then there exist an entity, the entity,, , a third entity,, , the entity,, , a fifth entity and an agent such that the agent is an agent of the time interval and the third entity is not equal to the fifth entity and the entity is an instance of currency measure and the entity is an instance of currency measure and value of a sixth entity is the entity and the agent possesses the sixth entity and the entity is equal to a seventh entity the third entity(s) holds during the time of existence of the start of the time interval and value of a eighth entity is the entity and the agent possesses the eighth entity and the agent doesn't possess the sixth entity and the entity is equal to a ninth entity the fifth entity(s) holds during the time of existence of the end of the 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners