WhenFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8525-8527
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8521-8524
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8519-8519	The number 1 argument of when is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8516-8516	When is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8518-8518	When is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8517-8517	When is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8520-8520	The range of when is an instance of time interval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 455-455
No TPTP formula. May not be expressible in strict first order.	english_format.kif 275-275
No TPTP formula. May not be expressible in strict first order.	french_format.kif 264-264
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 314-314
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 216-216
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 196-196
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 270-270
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 595-595
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 349-349
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 506-506
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4332-4332	Where is internally related to when
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 456-456	"何时函数" is the printable form of when in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10926-10926	"when" is the printable form of when in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 646-646	"«وَقْت وجُود»" is the printable form of when in ar

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8137-8139	A time position is a part of the time of existence of a physical if and only if the physical exists during the time position
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-153	If a cognitive agent is a customer of another cognitive agent and the cognitive agent charges a currency measure in corkage for a kind of object and another object is an instance of a kind of object and there doesn't exist a process such that the process is an instance of buying and the other object is a patient of the process and the process ends up at the other cognitive agent and the process originates at the cognitive agent and another process is an instance of intentional process and the other object is a patient of the other process or the other object is a resource for the other process or the other object is an instrument for the other process and the other cognitive agent is an agent of the other process holds during the time of existence of the other cognitive agent is located at a third object, then there exists a third process such that the third process is an instance of corkage and the other cognitive agent is an agent of the third process and the third process ends up at the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20411-20416	If a process-START is equal to the beginning of the time of existence of the process and an agent-END is equal to the end of the time of existence of the agent and the agent is a beneficiary of the process, then the process-START happens before the agent-END
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27323-27332	If a process-START is equal to the beginning of the time of existence of the process and an agent-END is equal to the end of the time of existence of the agent and the agent suffers from the process, then the process-START happens before the agent-END
No TPTP formula. May not be expressible in strict first order.	Law.kif 520-529	If an agent desires dead is an attribute of an object holds during a time interval and the agentURDER is an instance of murder and the agent is an agent of the agentURDER and the object is a patient of the agentURDER and the time interval happens earlier than the time of existence of the agentURDER, then premeditated is an attribute of the agentURDER
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28357-28378	If dieting is an attribute of an agent holds during a time interval and dieting is not an attribute of the agent holds during another time interval and an object is an instance of meal and a process is an instance of eating and the agent is an agent of the process and the object is a resource for the process and the time of existence of the process takes place during the time interval and the measure of the object is a real number calorie(s) and another object is an instance of meal and another process is an instance of eating and the agent is an agent of the other process and the other object is a resource for the other process and the time of existence of the other process takes place during the other time interval and the measure of the other object is another real number calorie(s), then the statement the other real number is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18491-18497	If embryonic is an attribute of an agent holds during a time interval and a process is an instance of birth and another time interval is equal to the time of existence of the process and the agent experiences the process, then the other time interval doesn't overlap the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18460-18466	If larval is an attribute of an agent holds during a time interval and a process is an instance of birth and another time interval is equal to the time of existence of the process and the agent experiences the process, then the other time interval meets the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14499-14509	If a process is an instance of accelerating and a time interval is equal to the time of existence of the process and an agent experiences the process, then there doesn't exist another process such that the other process is an instance of decelerating and the agent experiences the other process and the time interval is equal to the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 676-689	If a process is an instance of ambulating and another process is a subprocess of the process and the other process is an instance of stepping and a third process is a subprocess of the process and the third process is an instance of stepping and the other process-START is equal to the beginning of the time of existence of the other process and the third process-START is equal to the beginning of the time of existence of the third process and the other process-START happens before the third process-START and the third process-START happens before the other process-START, then the other process is equal to the third process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3955-3980	If a process is an instance of AccessingWebPage and an entity is an instance of WebPage and another process is an instance of data transfer and an object is an instance of server and a third process is an instance of requesting and an agent is an instance of web browser and a time interval is an instance of time interval and the entity is a patient of the process and the agent is an agent of the third process and the third process ends up at the object and the entity is a patient of the third process and the other process originates at the object and the other process ends up at the agent and the entity is a patient of the other process and the other process is a subprocess of the process and the third process is a subprocess of the process and the end of the time of existence of the third process is equal to the beginning of the time interval and the end of the time of existence of the other process is equal to the end of the time interval, then the time to access in the process is equal to the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 661-673	If a process is an instance of ambulating and a time interval is equal to the time of existence of the process, then there exist another process and a third process such that the other process is an instance of stepping and the third process is an instance of stepping and the other process is a subprocess of the process and the third process is a subprocess of the process and the time of existence of the other process starts the time interval and the time of existence of the third process finishes the time interval and the other process is not equal to the third process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 89-103	If a process is an instance of armed reconnaissance and an agent is an agent of the process and another agent is a patient of the process and the agent and the other agent are enemies of each other holds during the time of existence of the process, then the process allows the agent to perform task of the type there exists another process such that the other process is an instance of attack and the agent is an agent of the other process and the other agent is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 654-660	If a process is an instance of anti surface operation and a physical is a patient of the process and the physical is located at an object holds during the time of existence of the process, then the object is an instance of water area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13683-13691	If a process is an instance of boiling and a real number an unit of measure(s) is a boiling point of a kind of pure substance and an object is an instance of a kind of pure substance and the object is a patient of the process and the measure of the object is another real number the unit of measure(s) holds during the time of existence of the process and the unit of measure is an instance of UnitOfTemperature, then the other real number is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11461-11468	If a process is an instance of change of possession and an object is a patient of the process and an agent possesses the object holds during the beginning of the time of existence of the process and another agent possesses the object holds during the end of the time of existence of the process, then the agent is not equal to the other agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1230-1257	If a collection is an instance of collection and an entity is an instance of WebSite and an agent is an instance of agent and a web listing is an instance of web listing and a time point is an instance of time point and the agent sells the web listing and the web listing is not a member of the collection and for all an object if the object is an instance of web listing and the object is a member of items for sale by the agent at the entity and the time point is a part of the time of existence of the object and the object is not equal to the web listing, then the object is a member of the collection and for all another object if the other object is a member of the collection, then the time point is a part of the time of existence of the object and the other object is an instance of web listing , then things for sale by the agent not listed in the web listing at the entity during the time point is equal to the collection
No TPTP formula. May not be expressible in strict first order.	Government.kif 768-776	If an entity is an instance of the constitution of a geopolitical area and the geopolitical area is an instance of nation and a government is equal to the government of the geopolitical area and the time of existence of the government is an agreement effective during of a proposition and another proposition is a sub-proposition of the proposition and a formula contains information the other proposition, then the government is obliged to perform tasks of type the formula
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1921-1929	If a computer process is an instance of data compression and a computational system is processed by the computer process and the computational system requires a real number an unit of measure(s) holds during immediately before the time of existence of the computer process and the computational system requires another real number the unit of measure(s) holds during immediately after the time of existence of the computer process, 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 610-623	If a process is an instance of dodging and an agent is an agent of the process and the processT is equal to the time of existence of the process, then the process has purpose there doesn't exist another process such that the processT meets the time of existence of the other process or the time of existence of the other process overlaps the processT and the other process is an instance of impacting and the agent is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6339-6353	If a process is an instance of deposition and an object is a patient of the process and the measure of the object is a real number joule(s) holds during immediately before the time of existence of the process and the measure of the object is another real number joule(s) holds during immediately after the time of existence of the process, then the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11790-11799	If a process is an instance of discovering and a physical is a patient of the process and the physical is located at an object holds during the time of existence of the process, then there exists another process such that the other process is an instance of learning and the other process is a subprocess of the process and the physical is located at the object is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 428-437	If a financial transaction is an instance of deposit and the financial transaction exists during a time position and a financial account is an instance of financial account and the financial transaction ends up at the currency of the financial account and a currency measure is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another currency measure and a third currency measure is equal to (the other currency measure and the currency measure), then the financial account current account balance immediately after after the financial transaction for the third currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3128-3141	If a process is an instance of downtick and a physical is a patient of the process and the time of existence of the process is equal to an agent and the physical price a currency measure for the agent, then there exist another process and another agent such that the other process is an instance of stock market transaction and the physical is a patient of the other process and the time of existence of the other process is equal to the other agent and the other agent meets the agent and the physical price another currency measure for the other agent and the other currency measure is greater than the currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 155-166	If a process is an instance of drawingA check and an entity is a patient of the process and another process is an instance of processingA check and the entity is a patient of the other process and the time of existence of the process is equal to the processTime and the time of existence of a physical is equal to the other processTime and the processTime meets a third time interval and the third time interval meets the other processTime and duration of the third time interval is a time duration, then the time duration is less than 6 month duration(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12239-12246	A process is an instance of combining and an object is a resource for the process and another object is a result of the process if and only if the object is not a part of the other object holds during the beginning of the time of existence of the process and the object is a part of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8337-8341	A physical exists during a time point and the time point is an instance of time point if and only if the time point is between or at the beginning of the time of existence of the physical and the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8448-8450	A physical occurs at the same time as another physical if and only if the time of existence of the physical is equal to the time of existence of the other physical
No TPTP formula. May not be expressible in strict first order.	People.kif 104-117	The births per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by a process and the number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 138-151	The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by a process and the number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 253-277	The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if a number is equal to the number of instances in the class described by a process and the number and 1000 is equal to a quantity and another number is equal to the number of instances in the class described by another process and the other number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 411-442	The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 323-353	The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 367-398	The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27977-27985	Mute is an attribute of an agent holds during a time interval if and only if there doesn't exist a process such that the process is an instance of speaking and the time of existence of the process takes place during the time interval and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12590-12597	A process is an instance of creation if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12083-12090	A process is an instance of destruction if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the beginning of the time of existence of the process and the physical doesn't exist 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 14148-14157	If a human's almaMater is a post secondary school, then there exists a process such that the process is an instance of educational process and the process ends up at the human and the process is located at 2 and student is an attribute of the human holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16090-16096	If an agent is an agent of a process and an entity is a result of the process and the entity is an instance of art work, then Artist is an attribute of the agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 193-210	If muslim is an attribute of an agent and value of belongings of the agent is equal to a currency measure, then the statement there exist a process and a physical such that the process is an instance of zakat and a time interval is an instance of year and the time interval takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the time interval and the agent is an agent of the process and the physical is a patient of the process and value of the physical is another currency measure and the other currency measure is greater than the currency measure and 0.025 has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Music.kif 476-489	If cover recording is an attribute of a music recording and the music recording is an instance of music recording and a cognitive agent is the performer in the music recording and the music recording is a recording of a music and the music recording is a record of the musicM, then there exist another music recording, the cognitive agentRTIST and the musicUSIC such that the other music recording is a recording of the music and the cognitive agentRTIST is the performer in the other music recording and the cognitive agent is not equal to the cognitive agentRTIST and the other music recording is a record of the musicUSIC and the time of existence of the musicUSIC happens before the time of existence of the musicM
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1158-1175	If communal is an attribute of an object and the object is an instance of table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of group of people and the process is located at 2, then the statement there exist another agent and another process such that the other process is an instance of eating and the other agent is an agent of the other process and the agent is not equal to the other agent and the other agent is an instance of group of people and the other process is located at 2 and the time of existence of the process meets the time of existence of the other process and the object is equal to the object2 has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13693-13706	If a real number an unit of measure(s) is a boiling point of a kind of pure substance and an object is an instance of a kind of pure substance and the measure of the object is another real number the unit of measure(s) holds during a time interval and the unit of measure is an instance of UnitOfTemperature and the other real number is greater than or equal to the real number, then gas is an attribute of the object holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of boiling and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 653-664	If one must check out before a time point at a cognitive agent and another cognitive agent is a guest at the cognitive agent, then the cognitive agent expects there exist another time point and a process such that the other time point is an instance of the time point and the other cognitive agent is a patient of the process and the process is an instance of check-out service and the cognitive agent is an agent of the process and the beginning of the time of existence of the process happens before the other time point will be true
No TPTP formula. May not be expressible in strict first order.	Communications.kif 202-214	If a process ends up at an object and the process is an instance of messaging and an entity is a patient of the process and the object is an instance of telex, then there exist another process and another entity such that the object is an instrument for the other process and the other entity is a result of the other process and the other entity expresses the entity and the other entity is an instance of text and the beginning of the time of existence of the process happens before the beginning of the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28386-28392	If firstInstanceCreated a kind of physical and a time point and another physical is an instance of a kind of physical, then the time point happen%{s} before or at the beginning of the time of existence of the other physical
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3731-3740	If a collection are first time buyers on a WebSite during a time interval and an agent is a member of the collection, then there exists a financial transaction such that the financial transaction is an instance of buying and the agent is an agent of the financial transaction and the WebSite facilitates the financial transaction and the time of existence of the financial transaction takes place during the time intervalE
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3742-3752	If a collection are first time buyers on a WebSite during a time interval and an agent is a member of the collection, then there doesn't exist a financial transaction such that the financial transaction is an instance of buying and the agent is an agent of the financial transaction and the WebSite facilitates the financial transaction and the time of existence of the financial transaction happens earlier than the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3779-3788	If a collection are first time sellers on a WebSite during a time interval and an agent is a member of the collection, then there exists a financial transaction such that the financial transaction is an instance of selling and the agent is an agent of the financial transaction and the WebSite facilitates the financial transaction and the time of existence of the financial transaction takes place during the time intervalE
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3790-3800	If a collection are first time sellers on a WebSite during a time interval and an agent is a member of the collection, then there doesn't exist a financial transaction such that the financial transaction is an instance of selling and the agent is an agent of the financial transaction and the WebSite facilitates the financial transaction and the time of existence of the financial transaction happens earlier than the time interval

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Media.kif 1972-1980	There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of JesusOfNazareth and the time interval starts the time of existence of TwelveApostles and for all a human if the human is a member of TwelveApostles holds during the time interval, then JesusOfNazareth is a friend of the human holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 1922-1922	JesusOfNazareth is located at palestine holds during the time of existence of JesusOfNazareth

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

KB Term:			Term intersection

English Word: