causes - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2065-2067
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3778-3780
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 711-713
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3773-3773	The number 1 argument of causes is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3774-3774	The number 2 argument of causes is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3772-3772	causes is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3771-3771	causes is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3775-3775	causes is internally related to causes subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 71-71
No TPTP formula. May not be expressible in strict first order.	english_format.kif 71-71
No TPTP formula. May not be expressible in strict first order.	french_format.kif 60-60
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 42-42
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1884-1884
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 12-12
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 76-76
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 114-114
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 77-77
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 84-84
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 79-79
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 59-59
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 100-100
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13515-13515
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 72-72
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13514-13514
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13513-13513
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 20-20
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 101-101

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1832-1842	A process is an instance of withdrawing from an account and a financial account is an instance of financial account and the process originates at the currency of the financial account and there doesn't exist another process such that the other process is an instance of penalizing and the other process ends up at the currency of the financial account and the process causes the other process if and only if the liqudity of the financial account is high liquidity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3345-3355	If a human is income earned a real number an unit of measure(s) for an organizational process and another real number the unit of measure(s) is the amount charged in a charging a fee and the organizational process causes the charging a fee and a third real number is equal to (the real number and the other real number), then the after tax income derived by the human from the organizational process is the third real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2440-2445	If a process is an instance of the mission of a military operation aborted by an agent and the agentCTION causes the process and an entity_A is an agent of the agentCTION and another entity_A is an agent of the military operation, then the entity_A and the other entity_A are not enemies of each other
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3530-3537	If a process is an instance of authorization of transaction and another process is an instance of financial transaction and an object is an instance of bank card and the object is an instrument for the other process and the process causes the other process, then the object is an instance of valid card
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	If a process is an instance of bleeding and an entity is an instance of death and a formula is an instance of human and an agent is an instance of human and the agent experiences the process and the formula is near to the agent and the statement the process causes the entity has the modal force of likely, then there exists another entity such that the other entity is an instance of applying a tourniquet and the formula is an agent of the other entity and the other entity ends up at the agent is obliged to perform tasks of type the formula
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2196-2203	If a process is an instance of check-in service and the process causes another process and a physical is an instance of check-out service, then the time of existence of the physical finishes the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 777-792	If a process is an instance of motion and another process is an instance of tremor and an object is an instance of damper and another object is a patient of the other process and the object is a part of the other object and the process causes the other process and an entity is an instance of unit of length and the amplitude the other process is a real number the entity(s) holds during the time of existence of the process and the amplitude the other process is another real number the entity(s) holds during immediately after the process, then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4988-5003	If an entity is an instance of ratchet and another entity is an instance of attaching device and the entityO1 is an instance of rotating and an attribute is an attribute of the entityO1 and the entityO2 is an instance of rotating and another attribute is an attribute of the entityO2 and the attribute is an instance of rotational attribute and the other attribute is an instance of rotational attribute and the entityO1 is not equal to the entityO2 and the entityO1 causes the entityO2 and ratchet is a patient of the entityO1 and the other entity is a patient of the entityO2, then the attribute is equal to the other attribute
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2098-2117	If an entity is an instance of shaft and another entity is an instance of shaft and the entity is not equal to the other entity and an engineering component is an instance of rotating and the entity is a patient of the engineering component and another engineering component is an instance of rotating and the other entity is a patient of the other engineering component and the engineering component causes the other engineering component and a third engineering component is an instance of C.V. joint and the engineering component is connected to the third engineering component and the other engineering component is connected to the third engineering component and the entity is equal to the rotation of a third entity during a fourth entity holds during the time of existence of the engineering component, then the other entity is equal to the rotation of the third entity during the fourth entity holds during the time of existence of the other engineering component
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3790-3792	If a process causes another process, then the time of existence of the process happens earlier than the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3782-3784	If a process causes another process, then the other process is a related event of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31239-31253	A process is performed in the manner harmless if and only if the process is not an instance of damaging and there doesn't exist the process2 such that the process2 is an instance of damaging and the process2 is a subprocess of the process and there doesn't exist the process2 such that the process2 is an instance of damaging and the process causes the process2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4197-4221	If toxic and infectious substance is an attribute of an object and the object is an instance of substance or the object is an instance of microorganism, then there exist an agent, a process,, , another process and a third kind of process such that the agent is an instance of human or the agent is an instance of animal and the object is near to the agent and the process is an instance of inhaling or the process is an instance of ingesting or the process is an instance of touching and the agent is an agent of the process and the object is a patient of the process and the process causes the other process and the agent is a patient of the other process and the other process is an instance of a third kind of process and the object is capable of doing the third kind of process as a resource and the third kind of process is a subclass of injuring or the third kind of process is a subclass of death
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3028-3042	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 3010-3026	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.	Anatomy.kif 1922-1938	If ennervates a kind of nerve and a kind of muscle and an object is an instance of a kind of nerve and another object is an instance of a kind of muscle and the object is a part of a third object and the other object is a part of the third object and healthy is an attribute of the third object and the third object is an instance of human, then the object has the purpose there exist the objectF and another entity such that the objectF is an instance of NerveFiring and the object is an instrument for the objectF and the kind of muscle is an instance of MuscleContraction and the other object is an instrument for the other objectV and the objectF causes the kind of muscle
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6454-6466	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 6431-6443	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 1533-1543	If a process is an instance of anaphylaxis and an agent experiences the process, then the statement there exists an entity such that the entity is an instance of death and the agent experiences the entity and the process causes the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2218-2227	If a process is an instance of rheumatoid arthritis and an agent experiences the process, then the statement there exists an entity such that the entity is an instance of joint pain and the process causes the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	If a self connected object is an instance of shock and a process is an instance of compressing and a hole is an instance of hole and fluid is an attribute of an object and the self connected object is equal to the host of the hole the hole and the self connected object contains the object and the self connected object is a patient of the process, then there exists a transfer such that the transfer is an instance of transfer and the object transferred in the transfer is the object and the hole is path along which the transfer occurs and the process causes the transfer
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1115-1124	If a financial account is an instance of traditional savings account and a process is an instance of withdrawing from an account and the process originates at the currency of the financial account, then there doesn't exist another process such that the other process is an instance of penalizing and the other process ends up at the currency of the financial account and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Music.kif 1256-1264	If an entity is an instance of bell and a process is an instance of impacting and the process ends up at the entity, then there exists another process such that the other process is an instance of musical tone and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	If an object is an instance of brake pedal and a process is an instance of pushing and another object is an instance of vehicle and the process ends up at the object and the process is located at the other object and the object is a part of the other object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of wearing friction surface and the other entity is an instance of friction and the entity is an instrument for the other entity and the process causes the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1822-1840	If an object is an instance of clutch and another object is an instance of automobile and a third object is an instance of engine and a fourth object is an instance of gearbox and the fourth objectEAR is an instance of gear and the fourth objectEAR is a part of the fourth object and the fourth object is a part of the other object and the object is a part of the other object and the third object is a part of the other object and a process is an instance of motion and the third object is a patient of the process and device off is an attribute of the object, then there exists the process2 such that the process2 is an instance of motion and the fourth object is a patient of the process2 and the process causes the process2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1801-1820	If an object is an instance of clutch and another object is an instance of automobile and a third object is an instance of engine and a fourth object is an instance of gearbox and the fourth objectEAR is an instance of gear and the fourth objectEAR is a part of the fourth object and the fourth object is a part of the other object and the object is a part of the other object and the third object is a part of the other object and a process is an instance of motion and the third object is a patient of the process and device on is an attribute of the object, then there doesn't exist the process2 such that the process2 is an instance of motion and the fourth object is a patient of the process2 and the process causes the process2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 349-361	If an object is an instance of crankshaft and another object is an instance of intermittent combustion engine and the other object is a part of the object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of explosion and the other entity is an instance of rotating and the object is a patient of the other entity and the other entity is located at the other object and the entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 980-992	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 exist another process and a third process such that the other process is an instance of breaking and the process causes the other process and the other process is a subprocess of the third process and the third process is an instance of shape change and the entity is a patient of the other process and the entity is a patient of the third process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1087-1099	If a financial account is an instance of certificate of deposit and a day is a maturity date of the financial account and a process is an instance of withdrawing from an account and the process originates at the currency of the financial account and date of the process is another day and the end of the other day happens before the beginning of the day, then there exists another process such that the other process is an instance of penalizing and the other process ends up at the currency of the financial account and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2000-2008	If a process is an instance of disgusted voice utterance and an agent is an agent of the process, then there exists another process such that the other process is an instance of disgust and the agent experiences the other process and the other process causes the process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 119-127	If a process is an instance of emotional behavioral process and an agent is an agent of the process, then there exists the agentPP such that the agentPP is an instance of appraisal process and the agent is an agent of the agentPP and the agentPP causes the process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 129-137	If a process is an instance of emotional behavioral process and an agent is an agent of the process, then there exists another process such that the other process is an instance of facial expression and the agent is an agent of the other process and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2548-2562	If a process is an instance of evacuating 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 4357-4374	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.	Cars.kif 2714-2728	If an object is an instance of fan belt and another object is an instance of engine fan and a third object is an instance of automobile and the object is a part of the third object and the other object is a part of the third object and a process is an instance of motion and the object is a patient of the process, then the object has the purpose there exists the process2 such that the process2 is an instance of rotating and the process causes the process2 and the other object is a patient of the process2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4174-4187	If an object is an instance of substance and oxidizing substance is an attribute of the object, then there exists a process such that the process is an instance of releasing and oxygen is a patient of the process and the object is capable of doing releasing as a origin and the statement there exists an entity such that the entity is an instance of burning and the process causes the entity has the modal force of possibility

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: