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 4683-4687
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 4675-4682
s__domain(s__equivalentContentInstance__m,1,s__ContentBearingPhysical)

Merge.kif 4672-4672 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 4673-4673 The number 2 argument of equivalent content instance is an instance of content bearing physical
s__instance(s__EquivalenceRelation,s__SetOrClass)

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

Merge.kif 4674-4674 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__format(s__FrenchLanguage,s__equivalentContentInstance__m,'%1 est %n equivalent � %2')

french_format.kif 124-124
s__format(s__ItalianLanguage,s__equivalentContentInstance__m,'%1 � equivalente a %2')

relations-it.txt 99-99
s__format(s__PortugueseLanguage,s__equivalentContentInstance__m,'%1 e %n equivalente a %2')

portuguese_format.kif 76-76
s__format(s__ar__m,s__equivalentContentInstance__m,'%1 هو %n مساو لـِ %2')

arabic_format.kif 74-74
s__format(s__de__m,s__equivalentContentInstance__m,'%1 ist mit %2 gleichwertig')

relations-de.txt 269-269
s__format(s__hi__m,s__equivalentContentInstance__m,'%1 %2 ke tulya hai')

relations-hindi.txt 139-139
s__format(s__tg__m,s__equivalentContentInstance__m,'%1 ay tulad sa %2')

relations-tg.txt 210-210
s__relatedInternalConcept(s__realization__m,s__equivalentContentInstance__m)

Merge.kif 4725-4725 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
s__termFormat(s__ar__m,s__equivalentContentInstance__m,'«مساو لـِ»')

arabic_format.kif 524-524 "«مساو لـِ»" is the printable form of equivalent content instance in ar
s__termFormat(s__tg__m,s__equivalentContentInstance__m,'kapariho laman halimbawa')

relations-tg.txt 211-211 "kapariho laman halimbawa" is the printable form of equivalent content instance in tg

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


( ! [V__OBJ1,V__OBJ2] :
   ((s__subsumesContentInstance(V__OBJ1,V__OBJ2)
     &
     s__subsumesContentInstance(V__OBJ2,V__OBJ1))
<=>
s__equivalentContentInstance(V__OBJ1,V__OBJ2))
)

Merge.kif 4689-4693 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__R,V__E,V__RP,V__LP] :
   (s__instance(V__R,s__Restating) =>
     (? [V__L] :
       (s__instance(V__L,s__LinguisticCommunication) &
         s__earlier(V__L,V__R)
       &
       s__containsInformation(V__E,V__RP)
     &
     s__containsInformation(V__L,V__LP)
   &
   s__equivalentContentInstance(V__RP,V__LP))))
)

Mid-level-ontology.kif 27767-27775
( ! [V__REC,V__PHYS] :
   (s__record(V__REC,V__PHYS)
   =>
   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