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
-------------------------


s__documentation(s__equivalentContentInstance__m,s__ChineseLanguage,'这是个联系两个 ContentBearingPhysical 实例的 BinaryPredicate,(&%equivalentContentInstance ?OBJ1 ?OBJ2)的意思是由 ?OBJ1 所表达的内容和由 ?OBJ2 所表达的内容是相同的。一封给律师的信的手稿和 同一封信的打字本之间的关系便是一个例子。 注:(equivalentContentInstance ?OBJ1 ?OBJ2) 暗示 (subsumesContentInstance ?OBJ1 ?OBJ2) 和 (subsumesContentInstance ?OBJ2 ?OBJ2)。')

Merge.kif 4696-4700
s__documentation(s__equivalentContentInstance__m,s__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 ones lawyer and a typed copy of the same letter. Note that (equivalentContentInstance ?OBJ1 ?OBJ2) implies (subsumesContentInstance ?OBJ1 ?OBJ2) and (subsumesContentInstance ?OBJ2 ?OBJ2).')

Merge.kif 4688-4695
s__domain(s__equivalentContentInstance__m,1,s__ContentBearingPhysical)

Merge.kif 4685-4685 The number 1 argument of equivalent content instance is an instance of content bearing physical
s__domain(s__equivalentContentInstance__m,2,s__ContentBearingPhysical)

Merge.kif 4686-4686 The number 2 argument of equivalent content instance is an instance of content bearing physical
s__instance(s__EquivalenceRelation,s__SetOrClass)

s__instance(s__equivalentContentInstance__m,s__EquivalenceRelation)

Merge.kif 4684-4684 equivalent content instance is an instance of equivalence relation
s__relatedInternalConcept(s__equivalentContentInstance__m,s__equivalentContentClass__m)

Merge.kif 4687-4687 equivalent content instance is internally related to equivalent content class

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


s__format(s__ChineseLanguage,s__equivalentContentInstance__m,'%1 %n 等于 %2')

chinese_format.kif 209-209
s__format(s__EnglishLanguage,s__equivalentContentInstance__m,'%1 is %n equivalent to %2')

english_format.kif 131-131
s__relatedInternalConcept(s__realization__m,s__equivalentContentInstance__m)

Merge.kif 4738-4738 realization is internally related to equivalent content instance
s__termFormat(s__ChineseLanguage,s__equivalentContentInstance__m,'内容等效实例')

chinese_format.kif 210-210 "内容等效实例" is the printable form of equivalent content instance in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__equivalentContentInstance__m,'equivalent content instance')

domainEnglishFormat.kif 4150-4150 "equivalent content instance" is the printable form of equivalent content instance in english language

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


( ! [V__OBJ1,V__OBJ2] :
   ((s__instance(V__OBJ1,s__ContentBearingPhysical)s__and__ms__instance(V__OBJ2,s__ContentBearingPhysical))
    s__=>((s__subsumesContentInstance(V__OBJ1,V__OBJ2)
      s__and__ms__subsumesContentInstance(V__OBJ2,V__OBJ1))
  s__<=>
  s__equivalentContentInstance(V__OBJ1,V__OBJ2)))
)

Merge.kif 4702-4706 A content bearing physical subsumes the content of another content bearing physical and the other content bearing physical subsumes the content of the content bearing physical if and only if the content bearing physical is equivalent to the other content bearing physical
( ! [V__LP,V__E,V__RP,V__R] :
   ((s__instance(V__LP,s__Proposition)s__and__ms__instance(V__LP,s__ContentBearingPhysical)s__and__ms__instance(V__E,s__ContentBearingPhysical)s__and__ms__instance(V__RP,s__Proposition)s__and__ms__instance(V__RP,s__ContentBearingPhysical))
    s__=>(s__instance(V__R,s__Restating)s__=>(s__exists__m[V__L] :
         (s__instance(V__L,s__LinguisticCommunication)s__and__ms__earlier(V__L,V__R)
        s__and__ms__containsInformation(V__E,V__RP)
      s__and__ms__containsInformation(V__L,V__LP)
    s__and__ms__equivalentContentInstance(V__RP,V__LP)))))
)

Mid-level-ontology.kif 27847-27855
( ! [V__REC,V__PHYS] :
   ((s__instance(V__REC,s__ContentBearingObject)s__and__ms__instance(V__PHYS,s__ContentBearingPhysical))
    s__=>(s__record(V__REC,V__PHYS)
    s__=>s__equivalentContentInstance(V__REC,V__PHYS)))
)

Mid-level-ontology.kif 11953-11955


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners