Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - patient
patient

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
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 681-688
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 672-679
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 663-669
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-153
No TPTP formula. May not be expressible in strict first order. Cars.kif 843-856
No TPTP formula. May not be expressible in strict first order. Communications.kif 202-214
No TPTP formula. May not be expressible in strict first order. Merge.kif 15495-15512
No TPTP formula. May not be expressible in strict first order. Dining.kif 339-350
No TPTP formula. May not be expressible in strict first order. Hotel.kif 810-831
No TPTP formula. May not be expressible in strict first order. Hotel.kif 333-348
No TPTP formula. May not be expressible in strict first order. Hotel.kif 780-801
No TPTP formula. May not be expressible in strict first order. Law.kif 520-529
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18702-18713
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1396-1400
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4712-4718
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1426-1439
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 86-93
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17446-17452
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3955-3980
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1848-1857

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
No TPTP formula. May not be expressible in strict first order. Biography.kif 518-537
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-210
No TPTP formula. May not be expressible in strict first order. Music.kif 427-438
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10243-10253
No TPTP formula. May not be expressible in strict first order. Merge.kif 17558-17571
No TPTP formula. May not be expressible in strict first order. Military.kif 286-297
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1413-1421
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1423-1434
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23223-23236
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1879-1890
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17900-17921
No TPTP formula. May not be expressible in strict first order. Merge.kif 13693-13706
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27688-27697
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27699-27708
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3395-3402
No TPTP formula. May not be expressible in strict first order. Hotel.kif 653-664

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