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 5663-5668
(
domain
patientMedical
1
Human
)
Mid-level-ontology.kif 5661-5661
Die Zahl 1 Argument von
patientMedical
ist ein
fall
von
Human
%n{nicht}
(
domain
patientMedical
2
CognitiveAgent
)
Mid-level-ontology.kif 5662-5662
Die Zahl 2 Argument von
patientMedical
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
instance
patientMedical
BinaryPredicate
)
Mid-level-ontology.kif 5660-5660
patientMedical
ist ein
fall
von
BinaryPredicate
%n{nicht}
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 44804-44804
(
termFormat
ChineseTraditionalLanguage
patientMedical
"病人醫療")
domainEnglishFormat.kif 44803-44803
(
termFormat
EnglishLanguage
patientMedical
"patient medical")
domainEnglishFormat.kif 44802-44802
antecedent
(=>
(
patientMedical
?PATIENT ?DOCTOR)
(
exists
(?PROCESS)
(
and
(
patient
?PROCESS ?PATIENT)
(
agent
?PROCESS ?DOCTOR)
(
or
(
instance
?PROCESS
DiagnosticProcess
)
(
instance
?PROCESS
TherapeuticProcess
)))))
Mid-level-ontology.kif 5670-5678
Wenn
patientMedical
Human
and
CognitiveAgent
,
dann es gibt
Process
um
** Human
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** Process
ist ein
fall
von
DiagnosticProcess
%n{nicht} oder
** Process
ist ein
fall
von
TherapeuticProcess
%n{nicht}
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 9679-9692
Wenn
medicine
** Medicine
and
DiseaseOrSyndrome
,
dann es gibt
** DiseaseOrSyndrome
OC um
** DiseaseOrSyndrome
OC ist ein
fall
von
MedicalDoctor
%n{nicht} und
** DiseaseOrSyndrome
OC glaubt %n{nicht}, dass es gibt
entity
,
** entity
, and und
** entity
um
** ** entity
ist ein
fall
von
** Medicine
%n{nicht} und
** entity
ist ein
fall
von
TherapeuticProcess
%n{nicht} und
** ** entity
ist ein
fall
von
Human
%n{nicht} und
patientMedical
** ** entity
and
** DiseaseOrSyndrome
OC und
** ** entity
ist ein
hilfmittel
fuer
** entity
%n{nicht} und
benefits
** entity
and
** ** 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