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

Formal Language: 



KB Term:  Term intersection
English Word: 

  patient

Sigma KEE - patient
patient

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1882-1886
No TPTP formula. May not be expressible in strict first order. Merge.kif 2405-2412
No TPTP formula. May not be expressible in strict first order. Merge.kif 2401-2401 The number 1 argument of patient is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2402-2402 The number 2 argument of patient is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2399-2399 patient is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2400-2400 patient is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2403-2403 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 171-171
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4083-4083 account used is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21382-21382 controlled is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1880-1880 data processed is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13939-13939 defendant is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Law.kif 324-324 defense lawyer is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6425-6425 detainee is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Law.kif 211-211 evidence is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13402-13402 experimental control is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 2374-2374 instrument is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27652-27652 objectTransferred is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1665-1665 plays is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1653-1653 referee is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 2414-2414 resource is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1997-1997 resource used is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 2454-2454 result is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6431-6431 target in attack is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20782-20782 transported is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Law.kif 301-301 victim is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Law.kif 251-251 witness is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 168-168
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44719-44719
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44718-44718
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44717-44717

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 10971-10983 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 11133-11145 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 12669-12675 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. Mid-level-ontology.kif 18448-18455
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 463-475
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-171
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 680-687
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 671-678
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 662-668
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Cars.kif 803-816
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 14381-14398
No TPTP formula. May not be expressible in strict first order. Dining.kif 332-346
No TPTP formula. May not be expressible in strict first order. Hotel.kif 814-835
No TPTP formula. May not be expressible in strict first order. Hotel.kif 334-349
No TPTP formula. May not be expressible in strict first order. Hotel.kif 351-365
No TPTP formula. May not be expressible in strict first order. Hotel.kif 784-805
No TPTP formula. May not be expressible in strict first order. Law.kif 524-533
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19164-19175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1397-1401
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4717-4723
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1427-1440
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17837-17843
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3963-3988

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 10971-10983 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 11133-11145 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 1510-1516 An entity is an instance of LegalAgent holds during a time position if and only if the entity is capable of doing legal action as a agent or the entity is capable of doing legal action as a patient holds during the time position
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 9848-9855 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 11887-11894 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 11435-11442 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. Mid-level-ontology.kif 18440-18446
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 250-256
No TPTP formula. May not be expressible in strict first order. Government.kif 693-700
No TPTP formula. May not be expressible in strict first order. emotion.kif 374-387
No TPTP formula. May not be expressible in strict first order. emotion.kif 349-363
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 405-416
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10255-10265
No TPTP formula. May not be expressible in strict first order. Merge.kif 16160-16173
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. FinancialOntology.kif 2802-2818
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2838-2854
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2775-2791
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1945-1963
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1965-1983
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1917-1926
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1417-1425

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 879-887 ?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS and ?SAMPLE is an instance of ?SUBSTANCE and ?THERAPY is an instance of ?PROCESS and ?ORGANISM experiences ?THERAPY and ?SAMPLE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners