Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
patientMedical
Sigma KEE - patientMedical
patientMedical
appearance as argument number 1
(
documentation
patientMedical
EnglishLanguage
"The relation of receiving medical care from a recognized medical practitioner. (
patientMedical
?PATIENT ?DOCTOR) means that ?PATIENT is the patient of ?DOCTOR. Note that argument type restriction on the second argument is
CognitiveAgent
to allow for cases where someone is the patient of an
Organization
, viz. a
CareOrganization
.")
Mid-level-ontology.kif 5669-5674
(
domain
patientMedical
1
Human
)
Mid-level-ontology.kif 5667-5667
(
domain
patientMedical
2
CognitiveAgent
)
Mid-level-ontology.kif 5668-5668
(
instance
patientMedical
BinaryPredicate
)
Mid-level-ontology.kif 5666-5666
appearance as argument number 2
(
format
ChineseLanguage
patientMedical
"%2 %n 是 %1 的
patient
医疗")
domainEnglishFormat.kif 1919-1919
(
format
ChineseTraditionalLanguage
patientMedical
"%2 %n 是 %1 的
patient
醫療")
domainEnglishFormat.kif 1918-1918
(
format
EnglishLanguage
patientMedical
"%2 is %n a
patient
medical of %1")
domainEnglishFormat.kif 1917-1917
(
termFormat
ChineseLanguage
patientMedical
"病人医疗")
domainEnglishFormat.kif 44802-44802
(
termFormat
ChineseTraditionalLanguage
patientMedical
"病人醫療")
domainEnglishFormat.kif 44801-44801
(
termFormat
EnglishLanguage
patientMedical
"patient medical")
domainEnglishFormat.kif 44800-44800
antecedent
(=>
(
patientMedical
?PATIENT ?DOCTOR)
(
exists
(?PROCESS)
(
and
(
patient
?PROCESS ?PATIENT)
(
agent
?PROCESS ?DOCTOR)
(
or
(
instance
?PROCESS
DiagnosticProcess
)
(
instance
?PROCESS
TherapeuticProcess
)))))
Mid-level-ontology.kif 5676-5684
consequent
(=>
(
medicine
?MC ?D)
(
exists
(?DOC)
(
and
(
instance
?DOC
MedicalDoctor
)
(
believes
?DOC
(
exists
(?T ?H ?M)
(
and
(
instance
?M ?MC)
(
instance
?T
TherapeuticProcess
)
(
instance
?H
Human
)
(
patientMedical
?H ?DOC)
(
resource
?T ?M)
(
benefits
?T ?H)))))))
Mid-level-ontology.kif 9652-9665
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