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 2499-2506
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 2495-2495 The number 1 argument of patient is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2496-2496 The number 2 argument of patient is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2493-2493 patient is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2494-2494 patient is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2497-2497 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 4161-4161 account used is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23378-23378 controlled is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1874-1874 data processed is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16236-16236 defendant is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Law.kif 281-281 defense lawyer is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6758-6758 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 15695-15695 experimental control is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 2468-2468 instrument is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 12347-12347 attached is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 12395-12395 detached is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 11301-11301 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 26245-26256 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 the proposition is equal to the other proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20706-20713
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 487-499
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5822-5832
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-172
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. Medicine.kif 3038-3052
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3020-3036
No TPTP formula. May not be expressible in strict first order. Merge.kif 15485-15502
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 841-862
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 811-832
No TPTP formula. May not be expressible in strict first order. Law.kif 480-489
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21441-21452
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 982-986
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4214-4220
No TPTP formula. May not be expressible in strict first order. Medicine.kif 966-975
No TPTP formula. May not be expressible in strict first order. Medicine.kif 949-958

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 1601-1607 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 20698-20704
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 706-713
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 757-776
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 408-419
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12509-12519
No TPTP formula. May not be expressible in strict first order. Merge.kif 17303-17316
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 2894-2910
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2930-2946
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2867-2883
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2022-2043
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2045-2066
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1995-2004
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1466-1474
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1478-1491
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25664-25677
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1935-1946
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20547-20569
No TPTP formula. May not be expressible in strict first order. Merge.kif 13811-13824
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29864-29873

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 18150-18167 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 4557-4562 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