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 2510-2517
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 507-511
No TPTP formula. May not be expressible in strict first order. Merge.kif 2506-2506 The number 1 argument of patient is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2507-2507 The number 2 argument of patient is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2504-2504 patient is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2505-2505 patient is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2508-2508 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. 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. japanese_format.kif 1932-1932
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. 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-ro.kif 122-122
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 104-104
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. ComputingBrands.kif 4158-4158 account used is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25068-25068 controlled is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2005-2005 data processed is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17652-17652 defendant is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Law.kif 285-285 defense lawyer is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7947-7947 detainee is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Law.kif 168-168 evidence is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17097-17097 experimental control is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 2479-2479 instrument is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 12527-12527 attached is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 12577-12577 detached is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 11481-11481 object transferred 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. Mid-level-ontology.kif 28228-28239 A process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition if and only if there exist another content bearing physical and another proposition such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the other proposition and equal the proposition and the other proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22377-22384
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 489-501
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5836-5846
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 157-176
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 549-556
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 540-547
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 531-537
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. Medicine.kif 3041-3055
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3023-3039
No TPTP formula. May not be expressible in strict first order. Merge.kif 15665-15682
No TPTP formula. May not be expressible in strict first order. Dining.kif 336-350
No TPTP formula. May not be expressible in strict first order. Hotel.kif 847-868
No TPTP formula. May not be expressible in strict first order. Hotel.kif 346-361
No TPTP formula. May not be expressible in strict first order. Hotel.kif 364-378
No TPTP formula. May not be expressible in strict first order. Hotel.kif 815-836
No TPTP formula. May not be expressible in strict first order. Law.kif 486-495
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23112-23123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1003-1007
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6274-6292
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4685-4691
No TPTP formula. May not be expressible in strict first order. Medicine.kif 957-966

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 1611-1617 Legal agent 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. Mid-level-ontology.kif 22369-22375
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 193-199
No TPTP formula. May not be expressible in strict first order. Government.kif 669-676
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 765-784
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4203-4227
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223
No TPTP formula. May not be expressible in strict first order. Music.kif 410-421
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13868-13878
No TPTP formula. May not be expressible in strict first order. Merge.kif 17507-17520
No TPTP formula. May not be expressible in strict first order. Military.kif 363-374
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2898-2914
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2934-2950
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2871-2887
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2025-2046
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2048-2069
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1998-2007
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1477-1485
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1489-1502
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27646-27659
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1946-1957
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22218-22240
No TPTP formula. May not be expressible in strict first order. Merge.kif 13994-14007

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 921-929 ?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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19773-19790 There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4566-4571 There exist a process and an entity such that the process is an instance of disseminating and Netflix Corp. is an agent of the process and the entity is a patient of the process and the entity is an instance of motion picture


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