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 - EducationalProgram
EducationalProgram
(educational program)
training_program
,
vocational_program
appearance as argument number 1
(
documentation
EducationalProgram
EnglishLanguage
"A series of
EducationalCourse
s that must be completed to receive an
AcademicDegree
or other
Certificate
. Note that an
EducationalProgram
, unlike an
EducationalCourse
, may be realized at more than one
EducationalOrganization
.")
Mid-level-ontology.kif 16862-16865
(
subclass
EducationalProgram
Plan
)
Mid-level-ontology.kif 16861-16861
Educational program
is a
subclass
of
plan
appearance as argument number 2
(
subclass
EducationalCourse
EducationalProgram
)
Mid-level-ontology.kif 16877-16877
Educational course
is a
subclass
of
educational program
(
termFormat
ChineseLanguage
EducationalProgram
"教育计划")
domainEnglishFormat.kif 21287-21287
Educational course
is a
subclass
of
educational program
(
termFormat
ChineseTraditionalLanguage
EducationalProgram
"教育計劃")
domainEnglishFormat.kif 21286-21286
Educational course
is a
subclass
of
educational program
(
termFormat
EnglishLanguage
EducationalProgram
"educational program")
domainEnglishFormat.kif 21285-21285
Educational course
is a
subclass
of
educational program
antecedent
(=>
(
instance
?PROGRAM
EducationalProgram
)
(
exists
(?COURSE1 ?COURSE2)
(
and
(
instance
?COURSE1
EducationalCourse
)
(
instance
?COURSE2
EducationalCourse
)
(
not
(
equal
?COURSE1 ?COURSE2))
(
subPlan
?COURSE1 ?PROGRAM)
(
subPlan
?COURSE2 ?PROGRAM))))
Mid-level-ontology.kif 16867-16875
If
a plan
is an
instance
of
educational program
,
then there exist
another plan
and
a third plan
such that
the other plan
is an
instance
of
educational course
and
the third plan
is an
instance
of
educational course
and
the other plan
is not
equal
to
the third plan
and
the other plan
is a
sub
-plan of
the plan
and
the third plan
is a
sub
-plan of
the plan
consequent
(=>
(
and
(
instance
?DEGREE
AcademicDegree
)
(
possesses
?AGENT ?DEGREE))
(
exists
(?PROGRAM ?STUDY)
(
and
(
instance
?PROGRAM
EducationalProgram
)
(
realization
?STUDY ?PROGRAM)
(
experiencer
?STUDY ?AGENT))))
Mid-level-ontology.kif 16764-16772
If
an object
is an
instance
of
academic degree
and
an agent
possess
es
the object
,
then there exist
a proposition
and
a process
such that
the proposition
is an
instance
of
educational program
and
the process
express
es the content of
the proposition
and
the agent
experience
s
the process
(=>
(
and
(
instance
?F
Scholarship
)
(
destination
?F ?H))
(
hasPurpose
?F
(
exists
(?EP ?P)
(
and
(
instance
?EP
EducationalProgram
)
(
realization
?P ?EP)
(
experiencer
?P ?H)))))
Mid-level-ontology.kif 7449-7458
If
a process
is an
instance
of
scholarship
and
the process
end
s up at
an entity
,
then
the process
has the purpose there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
educational program
and
the third entity
express
es the content of
the other entity
and
the entity
experience
s
the third entity
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