TreeView Knowledge Base Browser - StartFn

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 410-412
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 414-414	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 413-413	Start is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 415-415	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 55047-55047
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

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 417-422	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 2265-2274	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 20732-20746	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 20769-20785	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 1898-1900	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 2077-2097	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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