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
The number 1 argument of
patient medical
is an
instance
of
human
(
domain
patientMedical
2
CognitiveAgent
)
Mid-level-ontology.kif 5668-5668
The number 2 argument of
patient medical
is an
instance
of
cognitive agent
(
instance
patientMedical
BinaryPredicate
)
Mid-level-ontology.kif 5666-5666
patient medical
is an
instance
of
binary predicate
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
If
a cognitive agent
is a
patient
medical of
a human
,
then there exists
a process
such that
the human
is a
patient
of
the process
and
the cognitive agent
is an
agent
of
the process
and
the process
is an
instance
of
diagnostic process
or
the process
is an
instance
of
therapeutic process
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
If
a kind of medicine
is medicine for
a disease or syndrome
,
then there exists
the disease or syndrome
OC such that
the disease or syndrome
OC is an
instance
of
medical doctor
and
the disease or syndrome
OC
believe
s there exist
an entity
,
another entity
and
a third entity
such that
the third entity
is an
instance
of
a kind of medicine
and
the entity
is an
instance
of
therapeutic process
and
the other entity
is an
instance
of
human
and
the disease or syndrome
OC is a
patient
medical of
the other entity
and
the third entity
is a
resource
for
the entity
and
the other entity
is a beneficiary of
the entity
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