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 2476-2483
No TPTP formula. May not be expressible in strict first order. Merge.kif 2472-2472 The number 1 argument of patient is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2473-2473 The number 2 argument of patient is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2470-2470 patient is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2471-2471 patient is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2474-2474 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 4161-4161 account used is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23377-23377 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 16108-16108 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 6746-6746 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 15571-15571 experimental control is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 2445-2445 instrument is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 12236-12236 attached is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 12284-12284 detached is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 11251-11251 object transferred is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1690-1690 plays is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1678-1678 referee is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 2485-2485 resource is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1991-1991 resource used is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 2525-2525 result is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6752-6752 target in attack is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22810-22810 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 44776-44776

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 26238-26249 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 20542-20549
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. 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. Merge.kif 15365-15382
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 523-532
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21274-21285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 977-981
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4202-4208
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1009-1022
No TPTP formula. May not be expressible in strict first order. Merge.kif 12242-12256
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19832-19838
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3965-3990
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4480-4489

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 1578-1584 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 20534-20540
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 527-546
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 12385-12395
No TPTP formula. May not be expressible in strict first order. Merge.kif 17183-17196
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 25657-25670
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 20383-20405
No TPTP formula. May not be expressible in strict first order. Merge.kif 13700-13713
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29879-29888

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


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