patient - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2639-2643
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2631-2638
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2628-2628	The number 1 argument of patient is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2629-2629	The number 2 argument of patient is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2626-2626	patient is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2627-2627	patient is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2630-2630	patient is a subrelation of involved in event

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 167-167
No TPTP formula. May not be expressible in strict first order.	english_format.kif 110-110
No TPTP formula. May not be expressible in strict first order.	french_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 219-219
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 55-55
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 53-53
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 85-85
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 206-206
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 257-257
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 411-411
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20946-20946	controlled is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1870-1870	data processed is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13651-13651	defendant is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Law.kif 320-320	defense lawyer is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6441-6441	detainee is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Law.kif 210-210	evidence is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13115-13115	experimental control is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2596-2596	instrument is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27173-27173	objectTransferred is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2645-2645	resource is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1980-1980	resource used is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2690-2690	result is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6447-6447	target in attack is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20346-20346	transported is a subrelation of patient

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.	Merge.kif 11552-11564	There exists a process such that the process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11733-11745	There exists a process such that the process is an instance of buying and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of selling and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13490-13496	There exists a process such that the process is an instance of radiating light and an object is a patient of the process and the object is an instance of region if and only if illuminated is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 465-476	If an agent is an agent of a process and the process originates at an object and a physical is a patient of the process and value of the physical is a currency measure, then there exists a financial transaction such that the financial transaction is a subprocess of the process and the financial transaction is an instance of payment and the currency measure is a transaction amount of the financial transaction and the financial transaction ends up at the object
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 151-169	If an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object, then a human holds the position of valet in the organization and the statement there exists another process such that the other process is an instance of valet parking and the human is an agent of the other process and the entity is a patient of the other process and the other process ends up at another entity and the other entity is an instance of parking area has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 681-688	If a real number is the confidence in an experimenting and the experimenting is an instance of the experimentingING and a sentence is an instance of formula and the sentence is a patient of the experimenting and the real number is equal to 100, then the sentence is false
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 672-679	If a real number is the confidence in an experimenting and the experimenting is an instance of the experimentingING and a sentence is an instance of formula and the sentence is a patient of the experimenting and the real number is equal to 100, then the sentence is true
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 663-669	If a real number is the confidence in an experimenting and the experimenting is an instance of the experimentingING and a formula is an instance of formula and the formula is a patient of the experimenting, then the real number expresses the probability of the formula
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-153	If a cognitive agent is a customer of another cognitive agent and the cognitive agent charges a currency measure in corkage for a kind of object and another object is an instance of a kind of object and there doesn't exist a process such that the process is an instance of buying and the other object is a patient of the process and the process ends up at the other cognitive agent and the process originates at the cognitive agent and another process is an instance of intentional process and the other object is a patient of the other process or the other object is a resource for the other process or the other object is an instrument for the other process and the other cognitive agent is an agent of the other process holds during the time of existence of the other cognitive agent is located at a third object, then there exists a third process such that the third process is an instance of corkage and the other cognitive agent is an agent of the third process and the third process ends up at the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 843-856	If the damping ratio of a physical system is a real number and the real number is greater than 0 and a tremor is an instance of tremor and the physical system is a patient of the tremor and the amplitude the tremor is a length measure holds during the tremor1 and the amplitude the tremor is another length measure holds during the tremor2 and the tremor1 takes place during the tremor and the tremor2 takes place during the tremor and the tremor1 happens earlier than the tremor2, then the length measure is greater than the other length measure
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.	Merge.kif 15495-15512	If edition a positive integer of a kind of content bearing object is equal to another kind of content bearing object and edition another positive integer of a kind of content bearing object is equal to a third kind of content bearing object and the other positive integer is greater than the positive integer and a process is an instance of publication and another process is an instance of publication and an entity is an instance of another kind of content bearing object and another entity is an instance of a third kind of content bearing object and the entity is a patient of the process and the other entity is a patient of the other process and date of the process is a day and date of the other process is another day, then the end of the day happens before the end of the other day
No TPTP formula. May not be expressible in strict first order.	Dining.kif 339-350	If a cognitive agent provides an object and the cognitive agent is a customer of another cognitive agent and an agent is an instance of the object and there exists a process such that the process is an instance of intentional process and the agent is a patient of the process and the other cognitive agent is an agent of the process, then the cognitive agent allows the other cognitive agent to perform task of the type the agent uses the other cognitive agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 810-831	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 price 0 united states dollar(s) for the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 333-348	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 price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 780-801	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 agent and a kind of physical is a subclass of object, then the statement there exist an object and another process such that the object is an instance of the kind of physical and the other process is an instance of process and the object is a resource for the other process or the object is an instrument for the other process or the object is a patient of the other process and the other agent is an agent of the other process or the other agent experiences the other process has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Law.kif 520-529	If an agent desires dead is an attribute of an object holds during a time interval and the agentURDER is an instance of murder and the agent is an agent of the agentURDER and the object is a patient of the agentURDER and the time interval happens earlier than the time of existence of the agentURDER, then premeditated is an attribute of the agentURDER
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18702-18713	If a process is an instance of aborting and an object is a patient of the process and the object is an instance of woman, then pregnant is an attribute of the object holds during the beginning of the time of existence of the process and pregnant is not an attribute of the object 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 1396-1400	If a process is an instance of accrediting and an entity is a patient of the process, then the entity is an instance of educational organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4712-4718	If an object is an instance of anchor and the objectTTACH is an instance of attaching and the object is an instrument for the objectTTACH and an entity is a patient of the objectTTACH, then the entity is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1426-1439	If a process is an instance of appointing and a human is a patient of the process, then there exist a position and an organization such that the human doesn't hold the position of the position in the organization holds during the beginning of the time of existence of the process and the human holds the position of the position in the organization holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 86-93	If a process is an instance of awarding a degree and a degree from a post secondary school in a field of study is a patient of the process, then an entity is an instance of human and the post secondary school is an agent of the process and the process ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17446-17452	If an agent is an instance of herbivore and the agent is an agent of a process and the process is an instance of eating and an entity is a patient of the process, then the entity is an instance of plant
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3955-3980	If a process is an instance of AccessingWebPage and an entity is an instance of WebPage and another process is an instance of data transfer and an object is an instance of server and a third process is an instance of requesting and an agent is an instance of web browser and a time interval is an instance of time interval and the entity is a patient of the process and the agent is an agent of the third process and the third process ends up at the object and the entity is a patient of the third process and the other process originates at the object and the other process ends up at the agent and the entity is a patient of the other process and the other process is a subprocess of the process and the third process is a subprocess of the process and the end of the time of existence of the third process is equal to the beginning of the time interval and the end of the time of existence of the other process is equal to the end of the time interval, then the time to access in the process is equal to the time interval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1848-1857	If a process is an instance of ActivatingUIElement and a GUIElement is a patient of the process and the GUIElement is an instance of GUIElement, then the GUIElement has state GUE_ActiveState holds during the end of a time interval and not the GUIElement has state GUE_ActiveState holds during the start of the 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.	Merge.kif 11552-11564	There exists a process such that the process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11733-11745	There exists a process such that the process is an instance of buying and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of selling and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1630-1636	An object is an instance of LegalAgent holds during an entity if and only if the object is capable of doing legal action as a agent or the object is capable of doing legal action as a patient holds during the entity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 674-682	An entity is an instance of feedback if and only if there exist a resource management program, a computer process and a software system such that the software system is a rM program-of of the resource management program and the software system is a program running of the computer process and a process is an instance of data transfer and the entity is a patient of the process and the process ends up at the resource management program
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10343-10350	A process is an instance of injuring if and only if the process is an instance of damaging and there exists an entity such that the entity is an instance of organism and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12590-12597	A process is an instance of creation if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12083-12090	A process is an instance of destruction if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the beginning of the time of existence of the process and the physical doesn't exist during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 700-707	If a kind of time position is an agreement adoption date of a proposition, then there exist a process and another time position such that the process is an instance of committing and the other time position is an instance of a kind of time position and the proposition is a patient of the process and the process exists during the other time position
No TPTP formula. May not be expressible in strict first order.	Biography.kif 518-537	If voice actor is an attribute of an agent and a process is an instance of dramatic acting and the agent is an agent of the process and another process is an instance of linguistic communication and the agent is an agent of the other process and the other process is a subprocess of the process, then there doesn't exist a third process such that the third process is an instance of seeing and the agent is a patient of the third process and another agent is an agent of the third process and there exists a fourth process such that the fourth process is an instance of hearing and the agent is a patient of the fourth process and the other agent is an agent of the fourth process
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 193-210	If muslim is an attribute of an agent and value of belongings of the agent is equal to a currency measure, then the statement there exist a process and a physical such that the process is an instance of zakat and a time interval is an instance of year and the time interval takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the time interval and the agent is an agent of the process and the physical is a patient of the process and value of the physical is another currency measure and the other currency measure is greater than the currency measure and 0.025 has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Music.kif 427-438	If demo recording is an attribute of a content bearing object and the content bearing object is an instance of recording, then the content bearing object has purpose there exist a process, an entity and the content bearing objectUSIC such that the process is an instance of demonstrating and the content bearing object is a record of the content bearing objectUSIC and the content bearing objectUSIC is a patient of the process and the process ends up at the entity and the entity is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10243-10253	If an entity is an attribute of an object and the entity is an instance of fingerprint and the object is not an instance of finger, then there exist the entityR and another object such that the other object is an instrument for the entityR and the other object is an instance of finger and the entity is an attribute of the other object and the object is a patient of the entityR
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17558-17571	If an attribute is an attribute of an object and the attribute is an instance of subjective assessment attribute, then there exist an entity, 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 patient of the process and the agent believes the object has an attribute the attribute holds during the entity
No TPTP formula. May not be expressible in strict first order.	Military.kif 286-297	If an entity is an attribute of an agent and the entity is an instance of commissioned officer rank, then there exist a process and an object such that the process is an instance of managing and the agent is an agent of the process and the object is a patient of the process and the object is an instance of military organization or soldier is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1413-1421	If duty free is an attribute of an object and the object is an instance of product, then there doesn't exist a process such that the process is an instance of duty tax and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1423-1434	If duty free is an attribute of an object and the object is an instance of store, then for all another object if a process is an instance of selling and the other object is a patient of the process and the process is located at the object and the other object is an instance of product, then duty free is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23223-23236	If multilingual is an attribute of an agent and a process is an instance of speaking and the agent is an agent of the process, then the statement there exist an entity and another entity such that the entity is an instance of spoken human language and the other entity is an instance of spoken human language and the entity is not equal to the other entity and the entity is a patient of the process or the other entity is a patient of the process has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1879-1890	If traveler accommodation is an attribute of an agent and the agent is capable of doing service as a agent, then there exist a cognitive agent and an object such that the agent employs the cognitive agent and maid is an attribute of the cognitive agent and the object is an instance of hotel unit and the object is a part of belongings of the agent and the object is capable of doing service as a patient and the cognitive agent is capable of doing service as a service provider
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17900-17921	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and another cognitive agent employs the cognitive agent and the other cognitive agent is an instance of restaurant and the other cognitive agent is a customer of a third cognitive agent and the third cognitive agent is located at an object and the object is an instance of table, then the other cognitive agent possesses another object and the other object is an instance of kitchen area and a third object is an instance of dining area and the object is located at the third object and the cognitive agent has purpose a process is an instance of carrying and the cognitive agent is an agent of the process and the process originates at the other object and the process ends up at the object and an entity is a patient of the process and the entity is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13693-13706	If a real number an unit of measure(s) is a boiling point of a kind of pure substance and an object is an instance of a kind of pure substance and the measure of the object is another real number the unit of measure(s) holds during a time interval and the unit of measure is an instance of UnitOfTemperature and the other real number is greater than or equal to the real number, then gas is an attribute of the object holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of boiling and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27688-27697	If a cognitive agent buys an entity from another cognitive agent and the entity is an instance of physical, then there exists a process such that the process is an instance of buying and the entity is a patient of the process and the cognitive agent is an agent of the process and the process originates at the other cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27699-27708	If a cognitive agent buys a proposition from another cognitive agent and the proposition is an instance of proposition, then there exist a process and another process such that the other process expresses the content of the proposition and the process is an instance of buying and the other process is a patient of the process and the process originates at the other cognitive agent
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 151-169	If an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object, then a human holds the position of valet in the organization and the statement there exists another process such that the other process is an instance of valet parking and the human is an agent of the other process and the entity is a patient of the other process and the other process ends up at another entity and the other entity is an instance of parking area has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3395-3402	If a bank card is a card code of a content bearing object and a financial account is a card account of the bank card, then there exists a process such that the process is an instance of encoding and the financial account is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 653-664	If one must check out before a time point at a cognitive agent and another cognitive agent is a guest at the cognitive agent, then the cognitive agent expects there exist another time point and a process such that the other time point is an instance of the time point and the other cognitive agent is a patient of the process and the process is an instance of check-out service and the cognitive agent is an agent of the process and the beginning of the time of existence of the process happens before the other time point will be true

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.

WMD.kif 870-878

A disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent and a kind of biochemical agent biochemical agent antidote a kind of biologically active substance for a kind of process and an entity is an instance of a kind of biologically active substance and another process is an instance of a kind of process and an agent experiences the other process and the kind of biologically active substance is a patient of the other process decreases likelihood of the disease or syndrome is an attribute of the agent

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: