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
subPlan
Sigma KEE - subPlan
subPlan
appearance as argument number 1
(
documentation
subPlan
ChineseLanguage
"(
subPlan
?PLAN1 ?PLAN2) 的意思是 ?PLAN1 是一个
Plan
,它是 ?PLAN2 的真正部分。这个关系一般用来在特定的情况下,把整个
Plan
和它的一个支援
Plan
联系。")
chinese_format.kif 2206-2208
(
documentation
subPlan
EnglishLanguage
"(
subPlan
?PLAN1 ?PLAN2) means that ?PLAN1 is a
Plan
which is a proper part of ?PLAN2. This relation is generally used to relate a supporting
Plan
to the overall
Plan
in a particular context.")
Merge.kif 4662-4665
(
documentation
subPlan
JapaneseLanguage
"(
subPlan
?PLAN1 ?PLAN2) とは、?PLAN1が?PLAN2の 適切な部分である
Plan
であることを意味する。この関係は、一般に、特定のコンテキストでサポート
Plan
を全体的な
Plan
に関連付けるために使用される。")
japanese_format.kif 870-872
(
domain
subPlan
1
Plan
)
Merge.kif 4659-4659
(
domain
subPlan
2
Plan
)
Merge.kif 4660-4660
(
instance
subPlan
IrreflexiveRelation
)
Merge.kif 4657-4657
(
instance
subPlan
PartialValuedRelation
)
Merge.kif 4658-4658
(
instance
subPlan
TransitiveRelation
)
Merge.kif 4656-4656
(
subrelation
subPlan
subProposition
)
Merge.kif 4655-4655
appearance as argument number 2
(
format
ChineseLanguage
subPlan
"%1 %n 是 %2 的
subPlan
")
chinese_format.kif 237-237
(
format
EnglishLanguage
subPlan
"%1 is %n a sub-plan of %2")
english_format.kif 238-238
(
format
FrenchLanguage
subPlan
"%1 est %n un sous-plan de %2")
french_format.kif 136-136
(
format
ItalianLanguage
subPlan
"%1 è un sottoprogramma di %2")
relations-it.txt 276-276
(
format
JapaneseLanguage
subPlan
"%1 は %2 の sub-plan では %n")
japanese_format.kif 1967-1967
(
format
PortugueseLanguage
subPlan
"%1 e' %n um ssub-plano de %2")
portuguese_format.kif 88-88
(
format
de
subPlan
"%1 ist ein teilplan von %2")
relations-de.txt 305-305
(
format
hi
subPlan
"%1 %2 kii upayojanaa hai")
relations-hindi.txt 313-313
(
format
ro
subPlan
"%1 %n{nu} este un sub-plan%t{subplan} al lui %2")
relations-ro.kif 155-155
(
format
sv
subPlan
"%1 är %n{inte} en
de
lplan av %2")
relations-sv.txt 141-141
(
format
tg
subPlan
"%1 ay ang balak mas baba ng %2")
relations-tg.txt 468-468
(
termFormat
ChineseLanguage
subPlan
"子计划")
chinese_format.kif 238-238
(
termFormat
ChineseTraditionalLanguage
subPlan
"子計劃")
domainEnglishFormat.kif 55771-55771
(
termFormat
EnglishLanguage
subPlan
"sub plan")
domainEnglishFormat.kif 55770-55770
(
termFormat
de
subPlan
"teilplan")
terms-de.txt 98-98
consequent
(=>
(
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 16644-16652
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