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 2411-2418
No TPTP formula. May not be expressible in strict first order. Merge.kif 2407-2407 The number 1 argument of patient is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2408-2408 The number 2 argument of patient is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2405-2405 patient is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2406-2406 patient is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2409-2409 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 168-168
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4127-4127 account used is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22822-22822 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 15659-15659 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 6420-6420 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 15122-15122 experimental control is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 2380-2380 instrument is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 11836-11836 attached is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 11884-11884 detached is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28804-28804 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 2420-2420 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 2460-2460 result is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6426-6426 target in attack is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22255-22255 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

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 11285-11297 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 11447-11459 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 13081-13087 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 20050-20057
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 14898-14915
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 20761-20772
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 949-953
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4114-4120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 979-992
No TPTP formula. May not be expressible in strict first order. Merge.kif 11842-11856
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19346-19352

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 11285-11297 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 11447-11459 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 1515-1521 LegalAgent is an attribute of an entity 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 10073-10080 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 12243-12250 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 11749-11756 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 20042-20048
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 524-543
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 406-417
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11987-11997
No TPTP formula. May not be expressible in strict first order. Merge.kif 16724-16737
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 2842-2858
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2878-2894
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2815-2831
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1979-2000
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2002-2023
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1951-1960
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1444-1452

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 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