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. chinese_format.kif 1882-1886
No TPTP formula. May not be expressible in strict first order. Merge.kif 2404-2411
No TPTP formula. May not be expressible in strict first order. Merge.kif 2400-2400 The number 1 argument of patient is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2401-2401 The number 2 argument of patient is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2398-2398 patient is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2399-2399 patient is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2402-2402 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 4134-4134 account used is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19864-19864 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 12967-12967 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 5825-5825 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 12430-12430 experimental control is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 2373-2373 instrument is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25678-25678 objectTransferred is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1659-1659 plays is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1647-1647 referee is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 2413-2413 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 2453-2453 result is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5831-5831 target in attack is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19297-19297 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 44773-44773
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44772-44772
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44771-44771

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 10986-10998 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 11148-11160 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 12684-12690 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 17165-17172
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 682-689
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 673-680
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 664-670
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 809-825
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 14396-14413
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 820-841
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 790-811
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 17847-17858
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 950-954
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4113-4119
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 980-993
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16561-16567
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3966-3991

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 10986-10998 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 11148-11160 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 1509-1515 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 9863-9870 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 11902-11909 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 11450-11457 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 17157-17163
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-212
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 9407-9417
No TPTP formula. May not be expressible in strict first order. Merge.kif 16175-16188
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 2821-2837
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2857-2873
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2794-2810
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1958-1979
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1981-2002
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1930-1939
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1431-1439

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 912-920 ?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 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