Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 Artifacts 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 15707-15710
(domainSubclass version 1 Artifact) Merge.kif 15705-15705 The number 1 argument of version is a subclass of artifact
(domainSubclass version 2 Artifact) Merge.kif 15706-15706 The number 2 argument of version is a subclass of artifact
(instance version AsymmetricRelation) Merge.kif 15703-15703 version is an instance of asymmetric relation
(instance version BinaryPredicate) Merge.kif 15702-15702 version is an instance of binary predicate
(instance version TransitiveRelation) Merge.kif 15704-15704 version is an instance of transitive relation

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 versione 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 61550-61550
(termFormat ChineseLanguage version "版本") chinese_format.kif 538-538
(termFormat ChineseTraditionalLanguage version "版") domainEnglishFormat.kif 61549-61549
(termFormat EnglishLanguage version "version") domainEnglishFormat.kif 61548-61548

antecedent
-------------------------


(=>
    (version ?ARTIFACT1 ?ARTIFACT2)
    (subclass ?ARTIFACT1 ?ARTIFACT2))
Merge.kif 15712-15714


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