WhenFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2736-2738
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8584-8587
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1462-1464
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8581-8581	The number 1 argument of when is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8578-8578	When is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8580-8580	When is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8579-8579	When is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8582-8582	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 461-461
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.	japanese_format.kif 2054-2054
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.	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-ro.kif 285-285
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 290-290
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 4253-4253	Where is internally related to when
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62979-62979	Where is internally related to when
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 456-456	Where is internally related to when
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62978-62978	Where is internally related to when
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62977-62977	Where is internally related to when
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 183-183	Where is internally related to when

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3987-4007	If attention deficit hyperactivity disorder is an attribute of an agent and attention deficit hyperactivity disorder is not an attribute of another agent and equal the agent and the other agent and a process is an instance of a class and another process is an instance of the class and the class is a subclass of intentional psychological process and the agent is an agent of the process and the other agent is an agent of the other process and duration of the time of existence of the process is a time duration and duration of the time of existence of the other process is another time duration, then the statement the other time duration is greater than the time duration has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11414-11422	If windy is an attribute of an object and the object is located at another object and equal a time interval and the time of existence of the object and a real number miles per hour(s) is a surface wind speed of the other object holds during the time interval, then the real number is greater than 20.0
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 355-373	If an agent breathes at a rate of an integer breaths per a time interval and the time interval is an instance of minute and there doesn't exist the integer such that the integer is an instance of recreation or exercise and the agent is an agent of the integer and the time interval takes place during the time of existence of the integer and human adult is an attribute of the agent holds during the time interval and the integer is greater than 16 or the integer is less than 12, then healthy is not an attribute of the agent holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	If the damping ratio of a physical system is a real number and the real number is greater than 0 and a process is an instance of tremor and the physical system is a patient of the process and an entity is an instance of unit of length and the amplitude the process is another real number the entity(s) holds during the process1 and the amplitude the process is a third real number the entity(s) holds during the process2 and the process1 takes place during the time of existence of the process and the process2 takes place during the time of existence of the process and the process1 happens earlier than the process2, then the other real number is greater than the third real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2569-2587	If the idle speed of an internal combustion engine is the rotation of a real number miles per hour(s) during a time duration and an object is an instance of automobile and a process is an instance of gas pedal and the process is an instance of pushing and the process ends up at another object and the internal combustion engine is a part of the object and the other object is a part of the object and a third object is an instance of crankshaft and the third object is a part of the internal combustion engine and the measure of the third object is the rotation of an entity miles per hour(s) during the time duration holds during the time of existence of the process, then the statement the entity is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24561-24566	If equal a time point and the beginning of the time of existence of a process and equal another time point and the end of the time of existence of an agent and the agent is a beneficiary of the process, then the time point happens before the other time point
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31514-31523	If equal a time point and the beginning of the time of existence of a process and equal another time point and the end of the time of existence of an agent and the agent suffers from the process, then the time point happens before the other time point
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6488-6500	If AVPU pain status is an attribute of an agent holds during a time interval and a process is an instance of pain and the time of existence of the process takes place during the time interval and the agent experiences the process, then there exists another process such that the other process is an instance of body motion and the agent experiences the other process and the time of existence of the other process takes place during the time interval and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6465-6477	If AVPU verbal status is an attribute of an agent holds during a time interval and a process is an instance of speaking and the process ends up at the agent and the time of existence of the process takes place during the time interval, then there exists another process such that the other process is an instance of intentional process and the agent is an agent of the other process and the time of existence of the other process takes place during the time interval and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1492-1504	If ME/CFS is an attribute of an agent holds during a time interval and a process is an instance of recreation or exercise and the agent is an agent of the process and the time of existence of the process takes place during the time interval, then the statement PEM is an attribute of the agent holds during the time interval2 and the time of existence of the process happens earlier than the time interval2 has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3227-3241	If booting up is an attribute of an engineering component holds during a physical and host ready is an attribute of the engineering component holds during the physical2 and equal the physical2 and immediately after the time of existence of the physical and another engineering component is an instance of computer display and the other engineering component is connected to the engineering component, then the statement there exists an entity such that the entity is an instance of home screen and the entity is displayed on the other engineering component has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Law.kif 486-495	If an agent desires dead is an attribute of an entity holds during a time interval and the agentURDER is an instance of murder and the agent is an agent of the agentURDER and the entity 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 32596-32617	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 18390-18396	If embryonic is an attribute of an agent holds during a time interval and a process is an instance of birth and equal another time interval and 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 18368-18374	If larval is an attribute of an agent holds during a time interval and a process is an instance of birth and equal another time interval and 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 18580-18590	If a process is an instance of accelerating and equal a time interval and 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 equal the time interval and the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 494-507	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 equal the other processSTART and the beginning of the time of existence of the other process and equal the third processSTART and the beginning of the time of existence of the third process and the other processSTART happens before the third processSTART and the third processSTART happens before the other processSTART, then equal the other process and the third process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11168-11190	If an object is an instance of antacid and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and another object is an instance of stomach and the other object is a part of the agent and the other object contains a third object and the third object is an instance of fluid holds during immediately before the time of existence of the motion and the other object contains a fourth object and the fourth object is an instance of fluid holds during immediately after the time of existence of the motion and pH measure the third object and a real number and pH measure the fourth object and another real number, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12535-12549	If a process is an instance of attaching and an entity is a patient of the process and another entity is a patient of the process and the entity is not connected to the other entity holds during the beginning of the time of existence of the process and the entity is connected to the other entity holds during the end of the time of existence of the process, then the process attaches the entity to another object and the process attaches the other entity to another object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11229-11251	If an object is an instance of PPI and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and another object is an instance of stomach and the other object is a part of the agent and the other object contains a third object and the third object is an instance of fluid holds during immediately before the time of existence of the motion and the other object contains a fourth object and the fourth object is an instance of fluid holds during immediately after the time of existence of the motion and pH measure the third object and a real number and pH measure the fourth object and another real number, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	If an accessing web page is an instance of accessing web page and an entity is an instance of web page and a process is an instance of data transfer and an object is an instance of server and another 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 accessing web page and the agent is an agent of the other process and the other process ends up at the object and the entity is a patient of the other process and the process originates at the object and the process ends up at the agent and the entity is a patient of the process and the process is a subprocess of the accessing web page and the other process is a subprocess of the accessing web page and equal the end of the time of existence of the other process and the beginning of the time interval and equal the end of the time of existence of the process and the end of the time interval, then equal the time to access in the accessing web page and the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 480-492	If a process is an instance of ambulating and equal a time interval and 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 equal the other process and 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 a cognitive agent is an agent of the process and an entity is a patient of the process and the cognitive agent and the entity are enemies of each other holds during the time of existence of the process, then the process allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of attack and the cognitive agent is an agent of the other entity and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 665-671	If a process is an instance of anti surface operation and an entity is a patient of the process and the entity is located at another entity holds during the time of existence of the process, then the other entity is an instance of water area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13984-13992	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 entity is an instance of a kind of pure substance and the entity is a patient of the process and the measure of the entity 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 unit of temperature, then the other real number is greater than or equal to the real number

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 12620-12627	A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	A year is an instance of the year the yearEAR and equal the male life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	A year is an instance of the year an integer and equal the births per thousand of a geopolitical area and the year and a real number if and only if equal the population of the geopolitical area and 1000 and another real number and equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and the other real number and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	A year is an instance of the year an integer and equal the deaths per thousand of a geopolitical area and the year and a real number if and only if equal the population of the geopolitical area and 1000 and another real number and equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and the other real number and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	A year is an instance of the year an integer and equal the deaths per thousand live births of a geopolitical area and the year and a real number if and only if equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and 1000 and another real number and equal a third integer and the number of instances in the class described by another symbolic string and equal the third integer and the other real number and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	A year is an instance of the year an integer and equal the female life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	A year is an instance of the year an integer and equal the life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string 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 32141-32154	Alone is an attribute of an entity holds during a time interval if and only if there don't exist the entity2 and a process such that equal the entity and the entity2 and the entity2 is an instance of agent and the process is an instance of social interaction and the time of existence of the process takes place during the time interval and the entity is an involved in event of the process and the entity2 is an involved in event of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32189-32197	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.	Mid-level-ontology.kif 961-968	An integer is a year of founding of an organization if and only if there exist a process and the integerEAR such that the integerEAR overlaps the time of existence of the process and the integerEAR is an instance of the year the integer and the process is an instance of founding and the organization is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18239-18248	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 the post secondary school 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 22377-22384	If a human acted in a content bearing physical. and a process is an instance of dramatic acting and the human is a patient of the process and the content bearing physical is a result of the process, then actor 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 20408-20414	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.	Mid-level-ontology.kif 7168-7181	If allergic a human and a kind of substance and a kind of substanceUB is an instance of the kind of substance and the kind of substanceUB meets the human holds during a time position, then the statement there exists another entity such that the other entity is an instance of allergic reaction and the human experiences the other entity and the time of existence of the other entity overlaps the time position and the beginning of the time position happens before the beginning of the time of existence of the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4368-4377	If two_factor authentication is an attribute of an user account and an agent is logged_in to the user account during a time interval, then there exists the time intervalF such that the time intervalF is an instance of two_factor login and the agent is an agent of the time intervalF and the accountUsed in the time intervalF is the user account and the time of existence of the time intervalF happens earlier than the time interval
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	If muslim is an attribute of an agent and equal value of belongings of the agent and a currency measure, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of zakat and the fourth entity is an instance of year and the fourth entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the fourth entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is the fifth entity the third entity(s) and the third entity is an instance of unit of currency and the fifth entity 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 459-472	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 equal the cognitive agent and 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.	FinancialOntology.kif 2898-2914	If FOK order is an attribute of an agreement and a time interval is an agreement period of the agreement, then there exist a process and another time interval such that the process is an instance of filling an order and the agreement is a patient of the process and equal the time of existence of the process and the other time interval and the other time interval starts the time interval or there exist another process and a third time interval such that the other process is an instance of cancelling an order and the agreement is a patient of the other process and equal the time of existence of the other process and the third time interval and the third time interval starts the time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2934-2950	If GTC order is an attribute of an agreement and a time interval is an agreement period of the agreement, then there exist a process and another time interval such that the process is an instance of filling an order and the agreement is a patient of the process and equal the time of existence of the process and the other time interval and the time interval overlaps the other time interval or there exist another process and a third time interval such that the other process is an instance of cancelling an order and the agreement is a patient of the other process and equal the time of existence of the other process and the third time interval and the third time interval finishes the time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2871-2887	If IOC order is an attribute of an agreement and a time interval is an agreement period of the agreement, then there exist a process and another time interval such that the process is an instance of filling an order and the agreement is a patient of the process and equal the time of existence of the process and the other time interval and the other time interval starts the time interval or there exist another process and a third time interval such that the other process is an instance of cancelling an order and the agreement is a patient of the other process and equal the time of existence of the other process and the third time interval and the third time interval starts the time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2025-2046	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and the unit of measure is an instance of unit of currency and an agent asks for another real number the unit of measure(s) for the security and the other real number is less than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2048-2069	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for selling for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and an agent bids another real number the unit of measure(s) for the security and the unit of measure is an instance of unit of currency and the other real number is greater than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	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 the object, then the statement there exist an entity, another entity and the object2 such that the other entity is an instance of eating and the entity is an agent of the other entity and equal the agent and the entity and the entity is an instance of group of people and the other entity is located at the object2 and the time of existence of the process meets the time of existence of the other entity and equal the object and the object2 has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13994-14007	If a real number an unit of measure(s) is a boiling point of a kind of pure substance and an entity is an instance of a kind of pure substance and the measure of the entity is another real number the unit of measure(s) holds during a time interval and the unit of measure is an instance of unit of temperature and the other real number is greater than or equal to the real number, then gas is an attribute of the entity 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 entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 688-699	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 an entity and another entity such that the entity is an instance of the time point and the other cognitive agent is a patient of the other entity and the other entity is an instance of check-out service and the cognitive agent is an agent of the other entity and the beginning of the time of existence of the other entity happens before the entity will be true

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.	Mid-level-ontology.kif 19773-19790	There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ
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 Jesus of Nazareth and the time interval starts the time of existence of Twelve apostles and for all an entity if the entity is a member of Twelve apostles holds during the time interval, then Jesus of Nazareth is a friend of the entity holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 1922-1922	Jesus of Nazareth is located at palestine holds during the time of existence of Jesus of Nazareth

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

KB Term:			Term intersection

English Word: