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
Sigma KEE - MedicalClinic
MedicalClinic
(medical clinic)
clinical
appearance as argument number 1
(
documentation
MedicalClinic
EnglishLanguage
"A
CareOrganization
which provides medical care on an out_patient basis only, i.e. there are no rooms where patients may take up residence for a period of time while they receive care.")
Mid-level-ontology.kif 8424-8426
(
subclass
MedicalClinic
CareOrganization
)
Mid-level-ontology.kif 8423-8423
Medical clinic
is a
subclass
of
care organization
appearance as argument number 2
(
termFormat
ChineseLanguage
MedicalClinic
"医疗诊所")
domainEnglishFormat.kif 36835-36835
(
termFormat
ChineseTraditionalLanguage
MedicalClinic
"醫療診所")
domainEnglishFormat.kif 36834-36834
(
termFormat
EnglishLanguage
MedicalClinic
"clinic")
Mid-level-ontology.kif 8427-8427
(
termFormat
EnglishLanguage
MedicalClinic
"medical clinic")
domainEnglishFormat.kif 36833-36833
appearance as argument number 3
(
partition
CareOrganization
HospitalOrganization
MedicalClinic
)
Mid-level-ontology.kif 8398-8398
Care organization
is
exhaustively
partitioned
into
hospital organization
and
medical clinic
antecedent
(=>
(
instance
?C
MedicalClinic
)
(
not
(
exists
(?B)
(
and
(
possesses
?C ?B)
(
instance
?B
TemporaryResidence
)))))
Mid-level-ontology.kif 8431-8437
If
an agent
is an
instance
of
medical clinic
,
then there doesn't exist
an object
such that
the agent
possess
es
the object
and
the object
is an
instance
of
temporary residence
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