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
version
Sigma KEE - version
version
appearance as argument number 1
(
documentation
version
ChineseLanguage
"有些
Artifact
的生命周期是由不相连的阶段或版本组成。 (
version
ARTIFACT1 ARTIFACT2)的意思是 ARTIFACT1 是 ARTIFACT2 的一个版本。注:这个
Predicate
只联系
Artifact
的子类别,而不联系它的实例。")
chinese_format.kif 3581-3583
(
documentation
version
EnglishLanguage
"Some
Artifact
s have a life cycle with discrete stages or versions. (
version
ARTIFACT1 ARTIFACT2) means that ARTIFACT1 is a version of ARTIFACT2. Note that this
Predicate
relates subclasses of
Artifact
and not instances.")
Merge.kif 15753-15756
(
domainSubclass
version
1
Artifact
)
Merge.kif 15751-15751
(
domainSubclass
version
2
Artifact
)
Merge.kif 15752-15752
(
instance
version
AsymmetricRelation
)
Merge.kif 15749-15749
(
instance
version
BinaryPredicate
)
Merge.kif 15748-15748
(
instance
version
TransitiveRelation
)
Merge.kif 15750-15750
appearance as argument number 2
(
format
ChineseLanguage
version
"%1 %n 是 %2 的
version
")
chinese_format.kif 537-537
(
format
EnglishLanguage
version
"%1 is %n a
version
of %2")
english_format.kif 542-542
(
format
FrenchLanguage
version
"%1 est %n une
version
de %2")
french_format.kif 316-316
(
format
ItalianLanguage
version
"%1 è %n una
version
e di %2")
relations-it.txt 311-311
(
format
JapaneseLanguage
version
"%1 は %2 の
version
では %n")
japanese_format.kif 2084-2084
(
format
PortugueseLanguage
version
"%1 e' %n uma versao de %2")
portuguese_format.kif 268-268
(
format
cz
version
"%1 %p{je} %n{nen�} a
version
of %2")
relations-cz.txt 322-322
(
format
de
version
"%1 ist %n{nicht} eine
version
von %2")
relations-de.txt 701-701
(
format
hi
version
"%1 %2 kaa sanskaraNa %n hai")
relations-hindi.txt 346-346
(
format
ro
version
"%1 %n{nu} este o
version
%t{versiune} a lui %2")
relations-ro.kif 337-337
(
format
sv
version
"%1 är %n{inte} en
version
av %2")
relations-sv.txt 348-348
(
format
tg
version
"%1 %n ay ang salin ng %2")
relations-tg.txt 503-503
(
termFormat
ChineseLanguage
version
"版")
domainEnglishFormat.kif 61552-61552
(
termFormat
ChineseLanguage
version
"版本")
chinese_format.kif 538-538
(
termFormat
ChineseTraditionalLanguage
version
"版")
domainEnglishFormat.kif 61551-61551
(
termFormat
EnglishLanguage
version
"version")
domainEnglishFormat.kif 61550-61550
antecedent
(=>
(
version
?ARTIFACT1 ?ARTIFACT2)
(
subclass
?ARTIFACT1 ?ARTIFACT2))
Merge.kif 15758-15760
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