TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1698-1701
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1527-1535
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6795-6795
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1526-1526	Process is a subclass of physical

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2580-2580	Search engine optimization is an instance of process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2393-2393	The range of aborted is an instance of process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4435-4435	The values returned by FailureFn are subclasses of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15586-15586	The values returned by operating are subclasses of process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1497-1497	Add to cart is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Media.kif 164-164	AgentPatientProcess is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28218-28218	BreakingRecord is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21731-21731	Causing happiness is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21751-21751	Causing unhappiness is a subclass of process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1661-1661	Checkout is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1213-1213	Content bearing process is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1537-1537	Dual object process is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9867-9867	Intentional process is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11665-11665	Internal change is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10283-10283	Motion is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9863-9863	Natural process is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2067-2067	Power generation is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1550-1550	SingleAgentProcess is a subclass of process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1791-1791	Watch item is a subclass of process
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 851-851
No TPTP formula. May not be expressible in strict first order.	english_format.kif 909-909

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2392-2392	The number 2 argument of aborted is an instance of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 579-579	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 593-593	The number 1 argument of stop is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2334-2334	The number 1 argument of agent is an instance of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20831-20831	The number 1 argument of benefits is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3637-3637	The number 1 argument of causes is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3638-3638	The number 2 argument of causes is an instance of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13585-13585	The number 2 argument of commentator is an instance of process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3031-3031	The number 2 argument of conversionEvent is an instance of process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1677-1677	The number 1 argument of coordinates is an instance of process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1678-1678	The number 2 argument of coordinates is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2345-2345	The number 1 argument of destination is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15754-15754	The number 1 argument of direction is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3944-3944	The number 1 argument of event partly located is an instance of process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4534-4534	The number 2 argument of exclusive is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2359-2359	The number 1 argument of experiencer is an instance of process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4027-4027	The number 2 argument of experimental control (process) is an instance of process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4074-4074	The number 2 argument of experimental variable (process) is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4225-4225	The number 1 argument of hinders is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2372-2372	The number 1 argument of instrument is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2315-2315	The number 1 argument of involved in event is an instance of process
No TPTP formula. May not be expressible in strict first order.	Law.kif 236-236	The number 1 argument of judge is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1636-1636	The number 1 argument of manner is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2383-2383	The number 1 argument of origin is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2396-2396	The number 1 argument of patient is an instance of process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21194-21200	If a case role a process and an object and the case role is an instance of case role and the process is an instance of process and the object is an instance of object, then the object plays role in event the case role for the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1131-1145	If process a water wave and water wave and wave height the water wave and a length measure, then there exist a list and a water area such that the length measure is a member of the list and the water area is an instance of water area and the water wave is located at 2 and significant wave height the water area, the time of existence of the water wave and a real number an unit of measure(s) and the real number is equal to 4 and standard deviation the list
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 498-514	If a cognitive agent is a customer of another cognitive agent and the cognitive agent has a kind of physical and a kind of physical is a subclass of process, then the statement there exist an entity and another entity such that the other entity is an element of belongings of the cognitive agent and the cognitive agent is an agent of the entity and the other cognitive agent is a patient of the entity and the entity is an instance of the kind of physical or a third entity is an instance of a fourth entity and the entity is a subprocess of the third entity and the entity is located at the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16089-16093
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16095-16104
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 814-835	If a set or class is free for customers renting a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of a cognitive agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at another cognitive agent and an agent is an instance of the set or class and the cognitive agent possesses the agent and the cognitive agent is a customer of the other cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent is price 0 united states dollar(s) for the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-537	If use of a set or class is free for a cognitive agent and an agent is an instance of the set or class and the cognitive agent is a customer of another cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent is price 0 united states dollar(s) for the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 334-349	If use of a set or class is free for a kind of hotel unit and the set or class is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the set or class and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the process is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 351-365	If use of a set or class is free for a kind of hotel unit and the set or class is a subclass of process and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and the human is a patient of a process and the process is an instance of the set or class or another process is an instance of the set or class and the process is a subprocess of the other process and the process is located at the temporary residence, then the process is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13568-13581	If a process is an instance of commenting and an entity is an instance of process and the entity is a patient of the process, then there exist an agent, another process and a third process such that the agent is an instance of agent and the other process is an instance of speaking and the third process is an instance of looking and the agent is an agent of the other process and the agent is an agent of the third process and the entity is a patient of the third process and the other process includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3011-3019	If an object is an instance of electric device and a process is an instance of process and the object is an instrument for the process, then there exists another object such that the other object is an instance of electricity and the other object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4558-4575	If a process is an instance of process and a human is an instance of agent and an experimenting is an instance of experimenting and the human is a treated used in the experimenting and the process is a process in the experimenting and the human experiences another process and the human experiences the process and the experimenting causes the other process, then there exists the experimentingERIMENTER such that the experimentingERIMENTER is an instance of agent and the experimentingERIMENTER is the experimenter in the experimenting and the experimentingERIMENTER believes the statement the process causes the other process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Military.kif 32-44	If a proposition is an instance of plan and a physical is an instance of process and the proposition expresses the physical, then there exist the propositionNING and a content bearing physical such that the propositionNING is an instance of planning and the content bearing physical is an instance of content bearing physical and the content bearing physical contains information the proposition and the content bearing physical is a result of the propositionNING and the beginning of the time of existence of the propositionNING happens earlier than the beginning of the time of existence of the physical and the end of the time of existence of the propositionNING happens earlier than the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21455-21460	If a process is an instance of process and the process is located at 2 and another process is a subprocess of the process, then the other process is located at 2
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1700-1722	If a time interval is an instance of the time interval_CLASS and the time interval_CLASS is a subclass of process and an AccessingWebPage is an instance of AccessingWebPage and an agent is an instance of agent and the agent is an agent of the time interval and the agent is an agent of the AccessingWebPage and the time interval takes place during the AccessingWebPage and a physical is an instance of time interval and there doesn't exist the time interval2 such that the time interval2 is an instance of the time interval_CLASS and the agent is an agent of the time interval2 and the time interval2 takes place during the AccessingWebPage and the beginning of the time of existence of the time interval2 happens before the beginning of the time of existence of the time interval and the beginning of the time of existence of the AccessingWebPage is equal to the beginning of the time of existence of the physical and the beginning of the time of existence of the time interval is equal to the end of the time of existence of the physical, then the time of the AccessingWebPage in the class the time interval_CLASS is equal to the physical
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2502-2508	If a process is an instance of process and an object is a patient of the process and the object is an instance of water and the measure of the object is a real number PH value(s), then the real number is less than 5.6
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3767-3773	If a case role is an instance of case role and the case role an entity and an object and the entity is an instance of a kind of process and a kind of process is a subclass of process, then the object is capable of doing the kind of process as a the case role
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4699-4716	If a process is an instance of multivariate test and an experimenting is a subprocess of the process and another experimenting is a subprocess of the process and the experimenting is an instance of experimenting and the other experimenting is an instance of experimenting and another process is an instance of process and a third process is an instance of process and the other process is a process in the experimenting and the third process is a process in the other experimenting, then there exists a fourth process such that the fourth process is an instance of process and the other process is a subprocess of the fourth process and the third process is a subprocess of the fourth process and the other process is not equal to the third process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4053-4064	If a process is an instance of process and an experimenting is an instance of experimenting and another process is an instance of agent and agent experiences the other process and the process is a process in the experimenting, then there exists an entity_GROUP such that the entity_GROUP is an instance of collection and the other process is a member of the entity_GROUP and the entity_GROUP is the control group in the experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4170-4181	If a process is an instance of process and an experimenting is an instance of experimenting and another process is an instance of agent and agent experiences the other process and the process is a process in the experimenting, then there exists an entity_GROUP such that the entity_GROUP is an instance of collection and the other process is a member of the entity_GROUP and the entity_GROUP is the treatment group in the experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4445-4468	If a human is an instance of human and a collection is an instance of collection and for all an entity and a kind of process if the entity is an instance of experimenting and a kind of process is an instance of process and the kind of process is a member of events in an experimenting and the human is capable of doing the kind of process as a experiencer, then the kind of process is a member of the collection and if another kind of process is a member of the collection, then another kind of process is an instance of process and there exists another experimenting such that the other experimenting is an instance of experimenting and the other kind of process is a member of events in the other experimenting and the human is capable of doing the other kind of process as a experiencer , then all the processes the human is qualified for is equal to the collection
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2227-2235	If a kind of physical is a natural hazard type in area of a geographic area and a kind of physical is a subclass of process, then there exists another physical such that the other physical is an instance of the kind of physical and the other physical is located at the geographic area and the time of existence of the geographic area overlaps the time of existence of the other physical
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 97-106	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of object and a process is an instance of another kind of process and another kind of process is a subclass of process and another entity is an instance of the kind of entity and the other entity is a patient of the process, then the agent is capable of doing the other kind of process as a agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 87-92	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of process, then the agent is capable of doing the kind of entity as a agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 136-145	If an agent offers items for sale in a catalog during a kind of time interval and a kind of entity is in the catalog and a kind of entity is a subclass of object and a process is an instance of another kind of process and another kind of process is a subclass of process and another entity is an instance of the kind of entity and the other entity is a patient of the process, then the agent is capable of being a agent in the other kind of process during a kind of time interval

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.	emotion.kif 374-387	If appraisal as just treatment is an attribute of a cognitive agent and the cognitive agentJT is an instance of appraisal process and the cognitive agent is an agent of the cognitive agentJT, then there exist another process and the cognitive agent2 such that the other process is an instance of process and the cognitive agentJT includes a reference to the other process and the cognitive agent2 is an agent of the other process and the cognitive agent is not equal to the cognitive agent2 and the cognitive agent is a patient of the other process and the cognitive agent wants the other process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	If appraisal as unjust treatment is an attribute of a cognitive agent and the cognitive agentUJ is an instance of appraisal process and the cognitive agent is an agent of the cognitive agentUJ, then there exist another process and the cognitive agent2 such that the other process is an instance of process and the cognitive agentUJ includes a reference to the other process and the cognitive agent2 is an agent of the other process and the cognitive agent is not equal to the cognitive agent2 and the cognitive agent is a patient of the other process and the cognitive agent doesn't want the other process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 480-496	If a cognitive agent is a customer of another cognitive agent and the cognitive agent has a kind of physical and a kind of physical is a subclass of object and an entity is an instance of the kind of physical, then the cognitive agent allows the other cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of process and the entity is a resource for the other entity or the entity is an instrument for the other entity or the entity is a patient of the other entity and the other cognitive agent is an agent of the other entity or the other cognitive agent experiences the other entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 784-805	If use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2496-2510	If a process is an instance of evacuation and the process originates at a geographic area and a cognitive agent is an agent of the process, then there exists another process such that the other process is an instance of process and the geographic area is a geographic subregion of the place where the other process was at the beginning of the time of existence of the process and the other process causes the process and the cognitive agent believes dangerous is an attribute of the other process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4125-4136	If an experimenting is an instance of experimenting and a human is an instance of human and the human is a subject in the experimenting, then there exists a process such that the process is an instance of process and the human experiences the process and the control in experiment the experimenting is the process or the process is a process in the experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4699-4716	If a process is an instance of multivariate test and an experimenting is a subprocess of the process and another experimenting is a subprocess of the process and the experimenting is an instance of experimenting and the other experimenting is an instance of experimenting and another process is an instance of process and a third process is an instance of process and the other process is a process in the experimenting and the third process is a process in the other experimenting, then there exists a fourth process such that the fourth process is an instance of process and the other process is a subprocess of the fourth process and the third process is a subprocess of the fourth process and the other process is not equal to the third process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28220-28249	If a process is an instance of BreakingRecord and an agent is an agent of the process, then there exist a set or class, another set or class,, , another process,, , a time point,, , a case role,, , a third set or class and an entity such that the set or class is an instance of set and the agent is an instance of the set or class and the other set or class is a subclass of process and the third set or class is a subclass of region and the time point is an instance of time point and the entity is an instance of quantity and the process includes a reference to the entity and the entity includes a reference to the other set or class and the agent plays role in event the case role for the other process and the other process is located at 2 and there don't exist another entity and a third entity such that the other entity is an instance of the set or class and the other entity is not equal to the agent and the third entity is an instance of the other set or class and the other entity plays role in event the case role for the third entity and the third entity is located at 2 holds during interval between the time point and 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 25207-25233	If an object is an instance of surveillance system and the object is a member of a collection and the object is a member of another collection and the collection is located at another object and the collection is an instance of camera and the other collection is located at a third object and the other object is not equal to the third object and the other collection is an instance of video display, then the object purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of process and the entity is located at 2 and the other entity expresses the entity and camera is an instrument for the fourth entity and the other entity is a result of the fourth entity and the third entity is an instance of radiating light and the other collection is an instrument for the third entity and the other entity is a patient of the third entity and the beginning of the entity happens before the beginning of the fourth entity and the beginning of the fourth entity happens before the beginning of the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14168-14180	If a cognitive agent is an issued by of a certificate and the certificate is an instance of ticket and an agent possesses the certificate, then the cognitive agent confers norm there exists an entity such that there exists another entity such that the other entity is an instance of process and the cognitive agent is an agent of the other entity and the agent experiences the other entity holds during the entity for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 374-394	If renters of a kind of hotel unit can pay to use a set or class and the set or class is a subclass of object, then if a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the set or class and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the process is located at the object or the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the process is price the processRICE for the agent and the processRICE is greater than 0 united states dollar(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18768-18777	If news reporter is an attribute of an agent, then there exist a kind of content bearing object and a physical such that the physical is an instance of process and the time of existence of the agent overlaps the time of existence of the physical and the agent is the author of a kind of content bearing object and the kind of content bearing object includes a reference to the physical
No TPTP formula. May not be expressible in strict first order.	Dining.kif 909-933	If open layout is an attribute of an object, then the object is an instance of room and there exist another object and a third object such that the other object is an instance of region and the third object is an instance of region and the other object is located at the object and the third object is located at the object and the other object is not equal to the third object and the other object is adjacent to the third object and there exist a formula and another formula such that the formula is an instance of process and the other formula is an instance of process and the other object purpose the formula and the third object purpose the other formula and if a fourth object is an instance of agent and the fourth object is located at the third object, then the fourth object is capable of doing seeing as a agent and the other object is capable of doing seeing as a patient
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4626-4631	If A/B test is an attribute of an object, then there exists a process such that the process is an instance of process and the control in experiment the object is the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4633-4638	If A/B test is an attribute of an object, then there exists a process such that the process is an instance of process and the process is a process in the object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2768-2775	If an organization is a business unit of a Business, then the organization purpose there exists an entity such that the entity is an instance of process and the organization is an agent of the entity and the Business is a beneficiary of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1385-1393	If an object is used by an agent at a time interval, then there exists a process such that the process is an instance of process and the object is a patient of the process and the agent is an agent of the process and the agent uses the object and the time of existence of the process overlaps the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4546-4556	If an experimenting causes a process, then there exist another process and a human such that the other process is an instance of process and the human is an instance of agent and the human is a treated used in the experimenting and the other process is a process in the experimenting and the human experiences the process and the human experiences the other process and the time of existence of the other process happens earlier than the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 54-62	If a kind of substance is an ingredient in a kind of prepared food, then there exist a process, an entity and another entity such that the process is an instance of process and the entity is an instance of a kind of substance and the entity is a patient of the process and the other entity is an instance of a kind of prepared food and the other entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 72-81	If a physical quantity of a kind of self connected object is used in another kind of self connected object, then there exist a process, an object and an entity such that the object is an instance of a kind of self connected object and the measure of the object is the physical quantity and the entity is an instance of another kind of self connected object and the process is an instance of process and the object is a patient of the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16342-16354	If a process is an instance of awarding, then there exist an agent, another agent,, , another process and the processWARD such that the agent is an instance of agent and the other agent is an instance of agent and the other process is an instance of process and the processWARD is an instance of object and the agent is an agent of the other process and the other agent is an agent of the process and the processWARD is a patient of the process and the process ends up at the agent and the other process causes the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5627-5636	If an entity is an instance of burrow, then there exist a process and an agent such that the process is an instance of process and the agent is an agent of the process and the agent is an instance of animal and the agent is not an instance of human and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2801-2810	If a content bearing physical is an instance of business requirement document, then there exist a proposition, a cognitive agent and a formula such that the proposition is an instance of plan and the cognitive agent is an instance of Business and the formula is an instance of process and the proposition expresses the formula and the cognitive agent desires the formula and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2100-2112	If a service is an instance of check-in service, then there exist a cognitive agent, another cognitive agent,, , a process and another process such that the cognitive agent is a customer of the other cognitive agent and the cognitive agent provides a service during the service and the process is an instance of greeting and the other cognitive agent is an agent of the process and the process ends up at the cognitive agent and the process is a subprocess of the service and the other process is an instance of process and the cognitive agent is an agent of the other process and the service causes the other process
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1138-1150	If an object is an instance of temperature control, then there exist another object and an entity such that the other object is an instance of electric device and the object is a part of the other object and the other object purpose there exist another entity and a third entity such that the third entity is an instance of region and the other entity is an instance of process and the object is an instrument for the other entity and the entity is an air temperature of the third entity is a result of the other entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: