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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 388-390
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 392-392	The number 1 argument of start is an instance of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 391-391	Start is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 393-393	The values returned by start are subclasses of intentional process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2339-2339
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2338-2338
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2337-2337
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55046-55046
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55045-55045
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55044-55044

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 395-400	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

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2283-2292	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17783-17797	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17804-17820	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1876-1878	If an object is an instance of match device, then the object is capable of doing the start of combustion as a instrument
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2064-2084	If a time interval is an instance of currency exchange, then there exist an entity, another entity,, , a third entity,, , a fourth entity and an agent such that the agent is an agent of the time interval and the other entity is not equal to the fourth entity and the entity is an instance of currency measure and the third entity is an instance of currency measure and value of a fifth entity is the entity and the agent possesses the fifth entity and the entity is equal to a sixth entity the other entity(s) holds during the time of existence of the start of the time interval and value of a seventh entity is the third entity and the agent possesses the seventh entity and the agent doesn't possess the fifth entity and the third entity is equal to a eighth entity the fourth 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 3.0 is open source software produced by Articulate Software and its partners