result - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2511-2511	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1895-1896	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2550-2552	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 521-522	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2547-2547	The number 1 argument of result is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2548-2548	The number 2 argument of result is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2545-2545	result is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2546-2546	result is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2544-2544	result is a subrelation of patient

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2509-2509	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 183-183	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	english_format.kif 184-184	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	french_format.kif 111-111	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 257-257	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1940-1940	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 63-63	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 87-87	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 232-232	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 294-294	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 130-130	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 116-116	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 449-449	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 184-184	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49828-49828	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49827-49827	resource and result are disjoint
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 73-73	resource and result are disjoint

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12605-12612	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.	Mid-level-ontology.kif 22394-22401	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 20425-20431	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.	Biography.kif 738-748	If writer is an attribute of an agent and an entity is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of text or the kind of content bearing object is a subclass of document and a process is an instance of writing and the agent is an agent of the process and the entity is a result of the process, then the agent is the author of the kind of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22368-22377	If a human directed a motion picture and a process is an instance of film making and an agent is an instance of organization and the human is a leader of the agent and the agent is an agent of the process and the motion picture is a result of the process, then film director 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.	Medicine.kif 3041-3055	If an agent employs a cognitive agent and a process is an instance of do network messaging and an object is a result of the process and not safe for work is an attribute of the object and another process is an instance of seeing and the object is a patient of the other process and the cognitive agent is an agent of the other process, then the statement there exists an entity such that the other process causes the entity and the cognitive agent suffers from the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3023-3039	If an agent employs a cognitive agent and the agent employs another cognitive agent and a process is an instance of do network messaging and an object is a result of the process and not safe for work is an attribute of the object and the cognitive agent is an agent of the process and another process is an instance of seeing and the object is a patient of the other process and the other cognitive agent is an agent of the other process, then the statement there exists the cognitive agentROC such that the process causes the cognitive agentROC and the cognitive agent suffers from the cognitive agentROC has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12967-12971	If a process is an instance of constructing and an entity is a result of the process, then the entity is an instance of stationary artifact
No TPTP formula. May not be expressible in strict first order.	Dining.kif 586-602	If a process is an instance of catering and an agent is an agent of the process and the process ends up at the processUST and the agent is located at an object and the agent is a customer of the processUST and there exist another process, an entity and a third process such that the other process is an instance of cooking and the agent is an agent of the other process and the entity is a result of the other process and the entity is a patient of the process and the third process is an instance of eating and the processUST is an agent of the third process and the third process is located at another object, then the object is not equal to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22049-22054	If a process is an instance of copying and an object is a resource for the process and another object is a result of the process, then the object is a copy of the other object
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 172-178	If a process is an instance of creation and a proposition is a result of the process and the proposition is an instance of proposition and a cognitive agent is an agent of the process, then the cognitive agent authored the proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11402-11425	If an object is an instance of antidiuretic 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 a time interval is an instance of urination and an entity is a result of the time interval and the agent is an agent of the time interval and another time interval is an instance of urination and the time interval is not equal to the other time interval and another entity is a result of the other time interval and the agent is an agent of the other time interval and the time interval happens earlier than the motion and the motion happens earlier than the other time interval and an unit of measure is an instance of unit of volume and the measure of the time interval is a real number the unit of measure(s) and the measure of the other time interval is another real number the unit of measure(s), then the statement the real number is greater than the other real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11372-11393	If an object is an instance of diuretic 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 a time interval is an instance of urination and an entity is a result of the time interval and the agent is an agent of the time interval and another time interval is an instance of urination and another entity is a result of the other time interval and the agent is an agent of the other time interval and the time interval happens earlier than the motion and the motion happens earlier than the other time interval and an unit of measure is an instance of unit of volume and the measure of the time interval is a real number the unit of measure(s) and the measure of the other time interval is another real number the unit of measure(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.	Mid-level-ontology.kif 74-83	If a process is an instance of death and an entity is an instance of organism remains and an agent is an instance of organism and another entity is a part of the entity holds during a time interval and the other entity is a part of the agent holds during another time interval and the other time interval happens earlier than the time interval and the entity is a result of the process, then the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12181-12197	If a process is an instance of deciding and an agent is an agent of the process and an entity is a patient of the process and the entity is an instance of set and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing physical, then the content bearing physical contains the formula there exists another entity such that the other entity is an element of the entity and the other entity is an instance of intentional process and the agent is an agent of the other entity holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 690-694	If a process is an instance of developing weapon of mass destruction and an entity is a result of the process, then the entity is an instance of weapon of mass destruction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12686-12695	If an object is an instance of elemental substance and another object is an instance of elemental substance and the object is not equal to the other object and a process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and an entity is a result of the process, then the entity is an instance of compound substance
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1527-1533	If a process is an instance of operation planning and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing object and the content bearing physical contains information a proposition, then the proposition is an instance of operation plan
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10963-10971	If a process is an instance of planning and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing object, then there exists a proposition such that the proposition is an instance of plan and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3794-3798	If a process is an instance of experimenting and an entity is a result of the process, then the entity is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5827-5835	If a process is an instance of felling and an entity is a result of the process, then there exists the entityTEM such that the entity is an instance of a dead the entityTEM and the entityTEM is a subclass of plant stem
No TPTP formula. May not be expressible in strict first order.	Food.kif 3699-3706	If a process is an instance of fermentation and an entity is a patient of the process and the entity is an instance of the juice of wine grape and another entity is a result of the process, then the other entity is an instance of wine
No TPTP formula. May not be expressible in strict first order.	WMD.kif 654-660	If an object is an instance of nuclear weapon production facility and a process is an instance of developing weapon of mass destruction and the process is located at the object and an entity is a result of the process, then the entity is an instance of nuclear weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17454-17459	If a process is an instance of choreographing and a proposition is a result of the process and another process expresses the content of the proposition, then the other process is an instance of dancing
No TPTP formula. May not be expressible in strict first order.	Food.kif 2694-2699	If a process is an instance of harvesting and an object is a result of the process and the object is an instance of mushroom, then produce is an attribute of the object

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.	Mid-level-ontology.kif 27987-27998	A process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition if and only if there exist another content bearing physical and another proposition such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the other proposition and the proposition is equal to the other proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7434-7444	An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for 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 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 22386-22392	If a human acted in a content bearing physical., then there exists a process such that the 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17492-17505	If an attribute is an attribute of an object and the attribute is an instance of subjective assessment attribute, then there exist a time position, a process and an agent such that the process is an instance of judging and the agent is an agent of the process and the object is a patient of the process and the attribute is an attribute of the object is a result of the process and the agent believes the object the attribute the attribute holds during the time position
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4541	If produce is an attribute of an object and the object is an instance of fruit or vegetable, then the object has the purpose there exists an entity such that the entity is an instance of harvesting and the object is a result of the entity and the object is an instance of food for human
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.	Food.kif 995-1004	If a process is an instance of crushing and an entity is a patient of the process and the entity is an instance of object, then there exists another process such that the other process is a result of the process and the other process is an instance of shape change and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3206-3218	If a process is an instance of curdling and a substance is a patient of the process and the substance is an instance of colloid, then there exist another process and another substance such that the other process is an instance of separating and the other process is a subprocess of the process and the substance is a patient of the other process and the other substance is a result of the other process and the other substance is a piece of the substance and the other substance is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9950-9960	If an entity is an instance of chemical acid and another entity is an instance of chemical base and a process is an instance of chemical process and the entity is a patient of the process and the other entity is a patient of the process, then there exists the processS such that the processS is an instance of salt and the processS is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20967-20980	If an attribute is an instance of secondary color and the attribute is an attribute of an object, then there exist a process, another object,, , a third object,, , another attribute and a third attribute such that the object is a result of the process and the other object is a resource for the process and the third object is a resource for the process and the other attribute is an attribute of the other object and the third attribute is an attribute of the third object and the other attribute is an instance of primary color and the third attribute is an instance of primary color and the other attribute is not equal to the third attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10347-10362	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exist an entity and another entity such that the entity is a result of the process and the entity is an instance of organic object and dead is an attribute of the entity holds during after the time of existence of the process and if the other entity is a part of the entity holds during immediately after the time of existence of the process, then the other entity is a part of the agent holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 85-94	If a process is an instance of death and an entity is an instance of organism remains and an agent is an instance of organism and another entity is a part of the entity holds during a time interval and the other entity is a part of the agent holds during another time interval and the other time interval happens earlier than the time interval and the agent experiences the process, then the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 750-758	If a process is an instance of dismantling weapon of mass destruction and an entity is a patient of the process, then there exists another process such that the other process is an instance of developing weapon of mass destruction and the entity is a result of 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 1191-1206	If a process is an instance of foaming milk and an entity is an instance of processed milk and the entity is a patient of the process, then there exist another process, a third process and another entity such that the other process is an instance of heating and the entity is a patient of the other process and the third process is an instance of aerating and the entity is a patient of the third process and the other entity is a result of the third process and the other entity is an instance of bubble and the time of existence of the third process takes place during the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3668-3681	If a process is an instance of gaslighting and an agent is an agent of the process and another agent suffers from the process, then there exists another process such that the other process is an instance of perception and the other agent experiences the other process and the other agent doesn't know an entity is a result of the other process is a causes proposition of the other agent suffers from the process
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 661-675	If an object is an instance of gene and the object is located at another object and the other object is an instance of cell, then there exist a process, a third object and a fourth object such that the process is an instance of biological process and the process is located at the other object and the process originates at the object and the third object is a result of the process and the third object is an instance of nucleotide and the third object is a part of the fourth object and the fourth object is an instance of RNA molecule and the fourth object is located at the other object
No TPTP formula. May not be expressible in strict first order.	Food.kif 1013-1027	If a process is an instance of grinding and an entity is a patient of the process and the entity is an instance of corpuscular object, then there exists another entity such that the other entity is a result of the process and the other entity is an instance of collection and for all a third entity if the third entity is a member of the other entity, then the third entity 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.	Medicine.kif 6235-6244	If a hole is an instance of laceration and an object is an instance of skin and the object is equal to the host of the hole the hole and the object is a part of another object, then there exists a process such that the process is an instance of poking and the hole is a result of the process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1732-1742	If an agent is an instance of organization and an industry attribute is an attribute of the agent and a kind of object is an industry product type of the industry attribute, then there exist a process and an entity such that the process is an instance of making and the entity is an instance of a kind of object and the agent is an agent of the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5551-5563	If an entity is an instance of forest product and a process is an instance of manufacture and the entity is a result of the process and another entity is a patient of the process and the other entity is an instance of organism, then there exist another process and an object such that the other process is an instance of agriculture and the other entity is a result of the other process and the other process is located at the object and the object is an instance of forest
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4722-4737	If a process is an instance of putting and an entity is a patient of the process and the entity is an instance of spice and the process ends up at an object and the object is an instance of prepared food, then there exist another process and an attribute such that the other process is an instance of internal change and the object is a patient of the other process and the attribute is a result of the other process and the attribute is an attribute of the object and the attribute is an instance of flavour attribute or the attribute is an instance of color attribute
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 537-563	If a process is an instance of 3D printing and an object is an instance of artifact and the object is a result of the process, then there exist another process, another object,, , a third process and a third object such that the other process is an instance of making and the other process is a subprocess of the process and the other object is an instance of self connected object and the other object is a part of the object and the other object is a result of the other process and the third process is an instance of making and the third process is a subprocess of the process and the third object is an instance of self connected object and the third object is a part of the object and the other object and the third object overlapsSpatially and the other object is below to the third object and the time of existence of the other process takes place during the time of existence of the process and the time of existence of the third process takes place during the time of existence of the process and the time of existence of the other process happens earlier than the time of existence of the third process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2078-2091	If a corpuscular object is an instance of next generation view item and a process is an instance of web listing and the process is a component of the corpuscular object and an entity is a patient of the process and the entity is an instance of physical, then there exist another process, a third process and the other processCONTENT such that the third process is an instance of stating and the other process is a patient of the third process and the other process includes a reference to the entity and the other processCONTENT is a result of the other process and the other processCONTENT is a part of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16962-16970	If a proposition is an instance of plan and a content bearing physical is an instance of content bearing object and the content bearing physical contains information the proposition, then there exists the propositionNING such that the propositionNING is an instance of planning and the content bearing physical is a result of the propositionNING

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: