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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14553-14556
(domainSubclass version 1 Artifact) Merge.kif 14551-14551
(domainSubclass version 2 Artifact) Merge.kif 14552-14552
(instance version AsymmetricRelation) Merge.kif 14549-14549
(instance version BinaryPredicate) Merge.kif 14548-14548
(instance version TransitiveRelation) Merge.kif 14550-14550

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 545-545
(termFormat ChineseLanguage version "版") domainEnglishFormat.kif 61458-61458
(termFormat ChineseLanguage version "版本") chinese_format.kif 538-538
(termFormat ChineseTraditionalLanguage version "版") domainEnglishFormat.kif 61457-61457
(termFormat EnglishLanguage version "version") domainEnglishFormat.kif 61456-61456

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


(=>
    (and
        (hardwareType ?Type ?Computer)
        (version ?Version ?Computer))
    (subsumesContentInstance ?Type ?Version))
QoSontology.kif 1032-1036
(=>
    (version ?ARTIFACT1 ?ARTIFACT2)
    (subclass ?ARTIFACT1 ?ARTIFACT2))
Merge.kif 14558-14560


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