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 2439-2446
No TPTP formula. May not be expressible in strict first order. Merge.kif 2435-2435 The number 1 argument of patient is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2436-2436 The number 2 argument of patient is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2433-2433 patient is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2434-2434 patient is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2437-2437 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 4126-4126 account used is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22850-22850 controlled is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1879-1879 data processed is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15686-15686 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 6446-6446 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 15149-15149 experimental control is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 2408-2408 instrument is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 12139-12139 attached is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 12187-12187 detached is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28832-28832 objectTransferred is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1658-1658 plays is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1646-1646 referee is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 2448-2448 resource is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1996-1996 resource used is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 2488-2488 result is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6452-6452 target in attack is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22283-22283 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. Mid-level-ontology.kif 20077-20084
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-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 15233-15250
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 20788-20799
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 967-971
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4133-4139
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 999-1012
No TPTP formula. May not be expressible in strict first order. Merge.kif 12145-12159
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19373-19379
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3966-3991
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4445-4454
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2265-2274

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 1541-1547 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. Mid-level-ontology.kif 20069-20075
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 692-699
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 12014-12024
No TPTP formula. May not be expressible in strict first order. Merge.kif 17072-17085
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. Hotel.kif 1444-1452
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1454-1465
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25115-25128
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1910-1921
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19919-19940
No TPTP formula. May not be expressible in strict first order. Merge.kif 13594-13607
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29347-29356
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29358-29368
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. Hotel.kif 663-674
No TPTP formula. May not be expressible in strict first order. Hotel.kif 484-500
No TPTP formula. May not be expressible in strict first order. Hotel.kif 502-518

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 917-925 ?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