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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - equivalentContentInstance
equivalentContentInstance

appearance as argument number 1
-------------------------


(documentation equivalentContentInstance ChineseLanguage "这是个联系两个 ContentBearingPhysical 实例的 BinaryPredicate,(equivalentContentInstance ?OBJ1 ?OBJ2)的意思是由 ?OBJ1 所表达的内容和由 ?OBJ2 所表达的内容是相同的。一封给律师的信的手稿和 同一封信的打字本之间的关系便是一个例子。 注:(equivalentContentInstance ?OBJ1 ?OBJ2) 暗示 (subsumesContentInstance ?OBJ1 ?OBJ2) 和 (subsumesContentInstance ?OBJ2 ?OBJ2)。") chinese_format.kif 2188-2192
(documentation equivalentContentInstance EnglishLanguage "A BinaryPredicate relating two instances of ContentBearingPhysical. (equivalentContentInstance ?OBJ1 ?OBJ2) means that the content expressed by ?OBJ1 is identical to the content expressed by ?OBJ2. An example would be the relationship between a handwritten draft of a letter to one's lawyer and a typed copy of the same letter. Note that (equivalentContentInstance ?OBJ1 ?OBJ2) implies (subsumesContentInstance ?OBJ1 ?OBJ2) and (subsumesContentInstance ?OBJ2 ?OBJ2).") Merge.kif 4372-4379
(domain equivalentContentInstance 1 ContentBearingPhysical) Merge.kif 4368-4368 内容等效实例 的 1 数量 是 内容承载物理instance
(domain equivalentContentInstance 2 ContentBearingPhysical) Merge.kif 4369-4369 内容等效实例 的 2 数量 是 内容承载物理instance
(instance equivalentContentInstance EquivalenceRelation) Merge.kif 4367-4367 内容等效实例等价关系instance
(relatedInternalConcept equivalentContentInstance equivalentContentClass) Merge.kif 4370-4370 内容等效实例内容等效类 是 内部相关

appearance as argument number 2
-------------------------


(format ChineseLanguage equivalentContentInstance "%1 %n 等于 %2") chinese_format.kif 209-209
(format EnglishLanguage equivalentContentInstance "%1 is %n equivalent to %2") english_format.kif 213-213
(relatedInternalConcept realization equivalentContentInstance) Merge.kif 4413-4413 体现内容等效实例 是 内部相关
(termFormat ChineseLanguage equivalentContentInstance "内容等效实例") chinese_format.kif 210-210
(termFormat ChineseLanguage equivalentContentInstance "等效内容实例") domainEnglishFormat.kif 22297-22297
(termFormat ChineseTraditionalLanguage equivalentContentInstance "等效內容實例") domainEnglishFormat.kif 22296-22296
(termFormat EnglishLanguage equivalentContentInstance "equivalent content instance") domainEnglishFormat.kif 22295-22295

consequent
-------------------------


(<=>
    (and
        (subsumesContentInstance ?OBJ1 ?OBJ2)
        (subsumesContentInstance ?OBJ2 ?OBJ1))
    (equivalentContentInstance ?OBJ1 ?OBJ2))
Merge.kif 4381-4385 内容承载物理 包含 另一个 内容承载物理 的内容 和 那个 另外 内容承载物理 包含 那个 内容承载物理 的内容 若且唯若 那个 内容承载物理 等于 那个 另外 内容承载物理
(=>
    (instance ?R Restating)
    (exists (?L)
        (and
            (instance ?L LinguisticCommunication)
            (earlier ?L ?R)
            (containsInformation ?R ?RP)
            (containsInformation ?L ?LP)
            (equivalentContentInstance ?RP ?LP))))
Mid-level-ontology.kif 27878-27886
(=>
    (record ?REC ?PHYS)
    (equivalentContentInstance ?REC ?PHYS))
Mid-level-ontology.kif 11984-11986


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